entailing

not defined yet