satisfies: