nonvacuous

not defined yet