exactiveness

not defined yet