nonvacuousness

not defined yet