preentailment

not defined yet