Verifying correctness.