satisfy

not defined yet