presatisfaction

not defined yet