Definition of "satisfies"