TODO: things to defeat in hand-to-hand combat
1. [_] The real numbers -- pending other engagements
2. [x] Classical logic, LEM
3. [~] Set theory -- turned out to be a case of mistaken identity, see (2)
4. [x] John Major -- apparently some British politician? Defeated in any case
5. [~] Cubical type theory -- another case of mistaken identity, see (6), (7)
6. [_] The univalence principle
7. [_] Category theory