nonentailed

not defined yet