unvacuously

not defined yet