unentailed

not defined yet