entailable

not defined yet