hyper-correctness