Bertie damn near permanently-wrecking his psyche ... in that n-page Principia-effort to "rilly-prove™" that bloody- [2+2] == bloody- [4]
(but I suspect that is merely my own willingness to eschew) all manner of time-wasting akin to a
[go back a half-century ... to when kids did this to each other..]

a Snipe-hunt? :-)

I seem to recall a report here/way-back re some compiler or other which, when told explicitly {something like 2+2=4 or other tautology) ...
it er, threw an Error or otherwise came up with a different Result.
I thought then ~~Jeez this shit just doesn't compute.