Satisfies (3)