Quite. So we agree that this code is incorrect, and thus, that we have a contradiction on our hands.

To be clear: we’re in agreement that incorrect code that passes for correct at a glance is even worse than obviously-incorrect code.