Interessante tijden in het vooruitzicht. Optimistische L2's waren nooit "vastgelegd" om voor altijd optimistisch te zijn. Ze hadden altijd de keuze om het bewijs systeem later te veranderen. We zullen binnenkort zien hoe die keuzes uitpakken.