more constant correctness code