precorrectness

not defined yet