satisfies

not defined yet