nonvacuously

not defined yet