unvacuous

not defined yet