entailments

not defined yet