Min Codex har slipat magra proofs i 12 timmar i sträck nu; Jag kollade in och tydligen skapade och raderade den 1 k+ rader av "Simulation Theory".