Static correctness.