satisfier

not defined yet