presatisfying

not defined yet