perpetual correctness