The problem that cannot be patched.

It guesses. It forgets. It cannot be audited. Surface solves all three structurally.