Microbugs always look like that. Weird stuff pops out of our brains when transcribing ideas about rules into logic. The overwhelming majority of such thinkos are clearly wrong and don't work, or often even build. And sometimes you get bugs that take a while to find because the case where it would fail is an untested edge case.
And then, once in a while, one of those edge cases...
