satisfies ()