Verified correctness.