correctedness

not defined yet