correctiveness

not defined yet