Min Codex har grindet magre proofs i 12 timer i strekk nå; Jeg sjekket inn, og tydeligvis opprettet og slettet den 1k+ linjer av "Simuleringsteori".