satisfies