Obviousness is always the enemy of correctness.