Definition:

satisfies