vacuously

not defined yet