Mijn Codex is nu al 12 uur aan het grinden met lean proofs; ik heb ingelogd en blijkbaar heeft het meer dan 1k regels van "Simulation Theory" aangemaakt en vervolgens verwijderd.