vacuous

not defined yet