correctness by removal