diff --git a/.i18n/en/Game.pot b/.i18n/en/Game.pot
index 7db3516..8fecace 100644
--- a/.i18n/en/Game.pot
+++ b/.i18n/en/Game.pot
@@ -1342,7 +1342,7 @@ msgid "# Welcome to the Number Theory Game\n"
 "Our ultimate goal is to understand how remainders work, how to safely manipulate\n"
 "equations modulo §0, and eventually reach powerful results like the\n"
 "Chinese Remainder Theorem. We will do this by solving levels in a computer\n"
-"puzzle game called Lean.\n"
+"puzzle game using Lean theorem prover.\n"
 "\n"
 "# Read this.\n"
 "\n"
@@ -1965,9 +1965,9 @@ msgstr ""
 #: Game.Levels.Divisibility
 msgid "Welcome to World 1: The Divisibility Club!\n"
 "\n"
-"In this first world, you will learn the basics of Lean 4, how to interact with the system, and how to write your very first proofs. We will explore the mathematical concept of divisibility (§0).\n"
+"In this first World, you will learn the basics of Lean 4, how to interact with the system, and how to write your very first proofs. We will explore the mathematical concept of divisibility (§0).\n"
 "\n"
-"By the end of this world, you will have built a solid foundation for integer arithmetic and proven that divisibility chains perfectly (transitivity). Take your time, read the explanations carefully, and have fun!"
+"By completing this World, you will build a solid foundation for integer arithmetic and proven that divisibility chains perfectly (transitivity). Take your time, read the explanations carefully, and have fun!"
 msgstr ""
 
 #: Game.Levels.Congruence.L09_mod_scale
diff --git a/.i18n/ru/Game.po b/.i18n/ru/Game.po
index a328324..37267c4 100644
--- a/.i18n/ru/Game.po
+++ b/.i18n/ru/Game.po
@@ -2247,7 +2247,7 @@ msgstr ""
 "преобразовывать\n"
 "уравнения по модулю §0, и в итоге прийти к таким мощным результатам, как\n"
 "Китайская теорема об остатках. Мы сделаем это, решая уровни компьютерной\n"
-"головоломки под названием Lean.\n"
+"головоломки, применяя помощник доказательств Lean.\n"
 "\n"
 "# Прочтите это.\n"
 "\n"
@@ -3282,13 +3282,13 @@ msgid ""
 msgstr ""
 "Добро пожаловать в мир 1: Клуб делимости!\n"
 "\n"
-"В этом первом мире вы изучите основы Lean 4, научитесь взаимодействовать с "
+"В первом Мире игры вы изучите основы Lean 4, научитесь взаимодействовать с "
 "системой и писать свои самые первые доказательства. Мы исследуем "
 "математическое понятие делимости (§0).\n"
 "\n"
-"К концу этого мира вы заложите прочный фундамент арифметики целых чисел, и "
-"вы докажете, что свойство делимости транзитивно (транзитивность). Не "
-"торопитесь, внимательно читайте объяснения и получайте удовольствие!"
+"Пройдя этот Мир игры, вы заложите прочный фундамент арифметики целых чисел, и "
+"докажете, что делимость транзитивна (транзитивность делимости). Не "
+"торопитесь, внимательно читайте объяснения, сочетайте приятное с полезным!"
 
 #: Game.Levels.Congruence.L09_mod_scale
 msgid "Scaling the Modulus"