satisfaces