diff --git a/Game.lean b/Game.lean
index 7b206f7..fbe3cc5 100644
--- a/Game.lean
+++ b/Game.lean
@@ -52,9 +52,9 @@ links, and ways to interact with the Lean community.
 "
 
 Info "
-*Game version: 4.1*
+*Game version: 4.2*
 
-*Recent changes: rewrite of tutorial, addition, multiplication and power world.*
+*Recent additions: Inequality world, algorithm world*
 
 ## Progress saving