nonvacuum

not defined yet