hypercorrectness

not defined yet