vacuity

not defined yet