Der ManagedOptimisticOracleV2, allgemein bekannt als MOOV2, hat offiziell einen bedeutenden Meilenstein von 200K Behauptungen erreicht. Dieses Achievement zeigt, dass diese spezielle Iteration erfolgreich ein größeres Volumen an Behauptungen verarbeitet hat als die Gesamtsumme aller anderen OO-Versionen.