diff --git a/MANIFEST.in b/MANIFEST.in
index d6be4cb..e5f2f35 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -9,5 +9,6 @@ include README.md
 
 recursive-include sphinx_proof *.js
 recursive-include sphinx_proof *.css
-
-recursive-include *.pot *.po *.mo
+recursive-include sphinx_proof *.json
+recursive-include sphinx_proof *.mo
+recursive-include sphinx_proof *.py
diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json
index acbb90a..fa591b7 100644
--- a/sphinx_proof/translations/jsons/Algorithm.json
+++ b/sphinx_proof/translations/jsons/Algorithm.json
@@ -1,10 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Algorithm"},
     {"language":"Chinese","symbol":"zh_CN","text":"算法"},
-    {"language":"Czech","symbol":"cs","text":"Algoritmus"},
-    {"language":"Dutch","symbol":"nl","text":"Algoritme"},
+    {"language":"Spanish","symbol":"es","text":"Algoritmo"},
+    {"language":"Arabic","symbol":"ar","text":"خوارزمية"},
+    {"language":"Hindi","symbol":"hi","text":"एल्गोरिदम"},
+    {"language":"Portuguese","symbol":"pt","text":"Algoritmo"},
+    {"language":"Russian","symbol":"ru","text":"Алгоритм"},
+    {"language":"Japanese","symbol":"ja","text":"アルゴリズム"},
     {"language":"French","symbol":"fr","text":"Algorithme"},
     {"language":"German","symbol":"de","text":"Algorithmus"},
+    {"language":"Korean","symbol":"ko","text":"알고리즘"},
     {"language":"Italian","symbol":"it","text":"Algoritmo"},
-    {"language":"Spanish","symbol":"es","text":"Algoritmo"}
+    {"language":"Turkish","symbol":"tr","text":"Algoritma"},
+    {"language":"Vietnamese","symbol":"vi","text":"Thuật toán"},
+    {"language":"Polish","symbol":"pl","text":"Algorytm"},
+    {"language":"Dutch","symbol":"nl","text":"Algoritme"},
+    {"language":"Indonesian","symbol":"id","text":"Algoritma"},
+    {"language":"Thai","symbol":"th","text":"อัลกอริทึม"},
+    {"language":"Persian","symbol":"fa","text":"الگوریتم"},
+    {"language":"Ukrainian","symbol":"uk","text":"Алгоритм"},
+    {"language":"Greek","symbol":"el","text":"Αλγόριθμος"},
+    {"language":"Czech","symbol":"cs","text":"Algoritmus"},
+    {"language":"Swedish","symbol":"sv","text":"Algoritm"},
+    {"language":"Hebrew","symbol":"he","text":"אלגוריתם"},
+    {"language":"Romanian","symbol":"ro","text":"Algoritm"},
+    {"language":"Hungarian","symbol":"hu","text":"Algoritmus"},
+    {"language":"Danish","symbol":"da","text":"Algoritme"},
+    {"language":"Finnish","symbol":"fi","text":"Algoritmi"},
+    {"language":"Norwegian","symbol":"no","text":"Algoritme"},
+    {"language":"Bulgarian","symbol":"bg","text":"Алгоритъм"}
 ]
diff --git a/sphinx_proof/translations/jsons/Assumption.json b/sphinx_proof/translations/jsons/Assumption.json
index a115acf..72a0dbd 100644
--- a/sphinx_proof/translations/jsons/Assumption.json
+++ b/sphinx_proof/translations/jsons/Assumption.json
@@ -1,7 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Assumption"},
     {"language":"Chinese","symbol":"zh_CN","text":"假设"},
-    {"language":"Dutch","symbol":"nl","text":"Aanname"},
+    {"language":"Spanish","symbol":"es","text":"Supuesto"},
+    {"language":"Arabic","symbol":"ar","text":"افتراض"},
+    {"language":"Hindi","symbol":"hi","text":"अनुमान"},
+    {"language":"Portuguese","symbol":"pt","text":"Suposição"},
+    {"language":"Russian","symbol":"ru","text":"Предположение"},
+    {"language":"Japanese","symbol":"ja","text":"仮定"},
+    {"language":"French","symbol":"fr","text":"Hypothèse"},
     {"language":"German","symbol":"de","text":"Annahme"},
-    {"language":"Spanish", "symbol":"es","text":"Supuesto"}
+    {"language":"Korean","symbol":"ko","text":"가정"},
+    {"language":"Italian","symbol":"it","text":"Assunzione"},
+    {"language":"Turkish","symbol":"tr","text":"Varsayım"},
+    {"language":"Vietnamese","symbol":"vi","text":"Giả định"},
+    {"language":"Polish","symbol":"pl","text":"Założenie"},
+    {"language":"Dutch","symbol":"nl","text":"Aanname"},
+    {"language":"Indonesian","symbol":"id","text":"Asumsi"},
+    {"language":"Thai","symbol":"th","text":"สมมติฐาน"},
+    {"language":"Persian","symbol":"fa","text":"فرض"},
+    {"language":"Ukrainian","symbol":"uk","text":"Припущення"},
+    {"language":"Greek","symbol":"el","text":"Υπόθεση"},
+    {"language":"Czech","symbol":"cs","text":"Předpoklad"},
+    {"language":"Swedish","symbol":"sv","text":"Antagande"},
+    {"language":"Hebrew","symbol":"he","text":"הנחה"},
+    {"language":"Romanian","symbol":"ro","text":"Presupunere"},
+    {"language":"Hungarian","symbol":"hu","text":"Feltételezés"},
+    {"language":"Danish","symbol":"da","text":"Antagelse"},
+    {"language":"Finnish","symbol":"fi","text":"Oletus"},
+    {"language":"Norwegian","symbol":"no","text":"Antagelse"},
+    {"language":"Bulgarian","symbol":"bg","text":"Предположение"}
 ]
diff --git a/sphinx_proof/translations/jsons/Axiom.json b/sphinx_proof/translations/jsons/Axiom.json
index 5586173..4dc2802 100644
--- a/sphinx_proof/translations/jsons/Axiom.json
+++ b/sphinx_proof/translations/jsons/Axiom.json
@@ -1,10 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Axiom"},
     {"language":"Chinese","symbol":"zh_CN","text":"公理"},
-    {"language":"Czech","symbol":"cs","text":"Axiom"},
-    {"language":"Dutch","symbol":"nl","text":"Axioma"},
+    {"language":"Spanish","symbol":"es","text":"Axioma"},
+    {"language":"Arabic","symbol":"ar","text":"بديهية"},
+    {"language":"Hindi","symbol":"hi","text":"स्वयंसिद्ध"},
+    {"language":"Portuguese","symbol":"pt","text":"Axioma"},
+    {"language":"Russian","symbol":"ru","text":"Аксиома"},
+    {"language":"Japanese","symbol":"ja","text":"公理"},
     {"language":"French","symbol":"fr","text":"Axiome"},
     {"language":"German","symbol":"de","text":"Axiom"},
+    {"language":"Korean","symbol":"ko","text":"공리"},
     {"language":"Italian","symbol":"it","text":"Assioma"},
-    {"language":"Spanish","symbol":"es","text":"Axioma"}
+    {"language":"Turkish","symbol":"tr","text":"Aksiyom"},
+    {"language":"Vietnamese","symbol":"vi","text":"Tiên đề"},
+    {"language":"Polish","symbol":"pl","text":"Aksjomat"},
+    {"language":"Dutch","symbol":"nl","text":"Axioma"},
+    {"language":"Indonesian","symbol":"id","text":"Aksioma"},
+    {"language":"Thai","symbol":"th","text":"สัจพจน์"},
+    {"language":"Persian","symbol":"fa","text":"بدیهیات"},
+    {"language":"Ukrainian","symbol":"uk","text":"Аксіома"},
+    {"language":"Greek","symbol":"el","text":"Αξίωμα"},
+    {"language":"Czech","symbol":"cs","text":"Axiom"},
+    {"language":"Swedish","symbol":"sv","text":"Axiom"},
+    {"language":"Hebrew","symbol":"he","text":"אקסיומה"},
+    {"language":"Romanian","symbol":"ro","text":"Axiomă"},
+    {"language":"Hungarian","symbol":"hu","text":"Axióma"},
+    {"language":"Danish","symbol":"da","text":"Aksiom"},
+    {"language":"Finnish","symbol":"fi","text":"Aksiooma"},
+    {"language":"Norwegian","symbol":"no","text":"Aksiom"},
+    {"language":"Bulgarian","symbol":"bg","text":"Аксиома"}
 ]
diff --git a/sphinx_proof/translations/jsons/Conjecture.json b/sphinx_proof/translations/jsons/Conjecture.json
index e752e47..f77f374 100644
--- a/sphinx_proof/translations/jsons/Conjecture.json
+++ b/sphinx_proof/translations/jsons/Conjecture.json
@@ -1,13 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Conjecture"},
-    {"language":"Arabic","symbol":"ar","text":"تخمين"},
     {"language":"Chinese","symbol":"zh_CN","text":"猜想"},
-    {"language":"Czech","symbol":"cs","text":"Domněnka"},
-    {"language":"Dutch","symbol":"nl","text":"Vermoeden"},
+    {"language":"Spanish","symbol":"es","text":"Conjetura"},
+    {"language":"Arabic","symbol":"ar","text":"تخمين"},
+    {"language":"Hindi","symbol":"hi","text":"अनुमान"},
+    {"language":"Portuguese","symbol":"pt","text":"Conjectura"},
+    {"language":"Russian","symbol":"ru","text":"Гипотеза"},
+    {"language":"Japanese","symbol":"ja","text":"推測"},
     {"language":"French","symbol":"fr","text":"Conjecture"},
     {"language":"German","symbol":"de","text":"Vermutung"},
-    {"language":"Italian","symbol":"it","text":"Congetturare"},
-    {"language":"Japanese","symbol":"ja","text":"推測"},
-    {"language":"Russian","symbol":"ru","text":"Гипотеза"},
-    {"language":"Spanish","symbol":"es","text":"Conjetura"}
+    {"language":"Korean","symbol":"ko","text":"추측"},
+    {"language":"Italian","symbol":"it","text":"Congettura"},
+    {"language":"Turkish","symbol":"tr","text":"Tahmin"},
+    {"language":"Vietnamese","symbol":"vi","text":"Phỏng đoán"},
+    {"language":"Polish","symbol":"pl","text":"Przypuszczenie"},
+    {"language":"Dutch","symbol":"nl","text":"Vermoeden"},
+    {"language":"Indonesian","symbol":"id","text":"Dugaan"},
+    {"language":"Thai","symbol":"th","text":"ข้อสันนิษฐาน"},
+    {"language":"Persian","symbol":"fa","text":"حدس"},
+    {"language":"Ukrainian","symbol":"uk","text":"Гіпотеза"},
+    {"language":"Greek","symbol":"el","text":"Εικασία"},
+    {"language":"Czech","symbol":"cs","text":"Domněnka"},
+    {"language":"Swedish","symbol":"sv","text":"Förmodan"},
+    {"language":"Hebrew","symbol":"he","text":"השערה"},
+    {"language":"Romanian","symbol":"ro","text":"Conjectură"},
+    {"language":"Hungarian","symbol":"hu","text":"Sejtés"},
+    {"language":"Danish","symbol":"da","text":"Formodning"},
+    {"language":"Finnish","symbol":"fi","text":"Otaksuma"},
+    {"language":"Norwegian","symbol":"no","text":"Formodning"},
+    {"language":"Bulgarian","symbol":"bg","text":"Предположение"}
 ]
diff --git a/sphinx_proof/translations/jsons/Corollary.json b/sphinx_proof/translations/jsons/Corollary.json
index 7cd9494..1116805 100644
--- a/sphinx_proof/translations/jsons/Corollary.json
+++ b/sphinx_proof/translations/jsons/Corollary.json
@@ -1,4 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Corollary"},
-    {"language":"German","symbol":"de","text":"Korollar"}
+    {"language":"Chinese","symbol":"zh_CN","text":"推论"},
+    {"language":"Spanish","symbol":"es","text":"Corolario"},
+    {"language":"Arabic","symbol":"ar","text":"نتيجة"},
+    {"language":"Hindi","symbol":"hi","text":"परिणाम"},
+    {"language":"Portuguese","symbol":"pt","text":"Corolário"},
+    {"language":"Russian","symbol":"ru","text":"Следствие"},
+    {"language":"Japanese","symbol":"ja","text":"系"},
+    {"language":"French","symbol":"fr","text":"Corollaire"},
+    {"language":"German","symbol":"de","text":"Korollar"},
+    {"language":"Korean","symbol":"ko","text":"따름정리"},
+    {"language":"Italian","symbol":"it","text":"Corollario"},
+    {"language":"Turkish","symbol":"tr","text":"Sonuç"},
+    {"language":"Vietnamese","symbol":"vi","text":"Hệ quả"},
+    {"language":"Polish","symbol":"pl","text":"Wniosek"},
+    {"language":"Dutch","symbol":"nl","text":"Gevolg"},
+    {"language":"Indonesian","symbol":"id","text":"Akibat"},
+    {"language":"Thai","symbol":"th","text":"บทตาม"},
+    {"language":"Persian","symbol":"fa","text":"نتیجه"},
+    {"language":"Ukrainian","symbol":"uk","text":"Наслідок"},
+    {"language":"Greek","symbol":"el","text":"Πόρισμα"},
+    {"language":"Czech","symbol":"cs","text":"Důsledek"},
+    {"language":"Swedish","symbol":"sv","text":"Korollarium"},
+    {"language":"Hebrew","symbol":"he","text":"מסקנה"},
+    {"language":"Romanian","symbol":"ro","text":"Corolar"},
+    {"language":"Hungarian","symbol":"hu","text":"Következmény"},
+    {"language":"Danish","symbol":"da","text":"Korollar"},
+    {"language":"Finnish","symbol":"fi","text":"Seuraus"},
+    {"language":"Norwegian","symbol":"no","text":"Korollar"},
+    {"language":"Bulgarian","symbol":"bg","text":"Следствие"}
 ]
diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json
index 217ca46..24a8bc9 100644
--- a/sphinx_proof/translations/jsons/Criterion.json
+++ b/sphinx_proof/translations/jsons/Criterion.json
@@ -1,10 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Criterion"},
     {"language":"Chinese","symbol":"zh_CN","text":"准则"},
-    {"language":"Czech","symbol":"cs","text":"Kritérium"},
-    {"language":"Dutch","symbol":"nl","text":"Criterium"},
+    {"language":"Spanish","symbol":"es","text":"Criterio"},
+    {"language":"Arabic","symbol":"ar","text":"معيار"},
+    {"language":"Hindi","symbol":"hi","text":"मानदंड"},
+    {"language":"Portuguese","symbol":"pt","text":"Critério"},
+    {"language":"Russian","symbol":"ru","text":"Критерий"},
+    {"language":"Japanese","symbol":"ja","text":"基準"},
     {"language":"French","symbol":"fr","text":"Critère"},
     {"language":"German","symbol":"de","text":"Kriterium"},
+    {"language":"Korean","symbol":"ko","text":"기준"},
     {"language":"Italian","symbol":"it","text":"Criterio"},
-    {"language":"Spanish","symbol":"es","text":"Criterio"}
+    {"language":"Turkish","symbol":"tr","text":"Kriter"},
+    {"language":"Vietnamese","symbol":"vi","text":"Tiêu chí"},
+    {"language":"Polish","symbol":"pl","text":"Kryterium"},
+    {"language":"Dutch","symbol":"nl","text":"Criterium"},
+    {"language":"Indonesian","symbol":"id","text":"Kriteria"},
+    {"language":"Thai","symbol":"th","text":"เกณฑ์"},
+    {"language":"Persian","symbol":"fa","text":"معیار"},
+    {"language":"Ukrainian","symbol":"uk","text":"Критерій"},
+    {"language":"Greek","symbol":"el","text":"Κριτήριο"},
+    {"language":"Czech","symbol":"cs","text":"Kritérium"},
+    {"language":"Swedish","symbol":"sv","text":"Kriterium"},
+    {"language":"Hebrew","symbol":"he","text":"קריטריון"},
+    {"language":"Romanian","symbol":"ro","text":"Criteriu"},
+    {"language":"Hungarian","symbol":"hu","text":"Kritérium"},
+    {"language":"Danish","symbol":"da","text":"Kriterium"},
+    {"language":"Finnish","symbol":"fi","text":"Kriteeri"},
+    {"language":"Norwegian","symbol":"no","text":"Kriterium"},
+    {"language":"Bulgarian","symbol":"bg","text":"Критерий"}
 ]
diff --git a/sphinx_proof/translations/jsons/Definition.json b/sphinx_proof/translations/jsons/Definition.json
index 4546195..fb35649 100644
--- a/sphinx_proof/translations/jsons/Definition.json
+++ b/sphinx_proof/translations/jsons/Definition.json
@@ -1,13 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Definition"},
-    {"language":"Arabic","symbol":"ar","text":"تعريف"},
-    {"language":"Czech","symbol":"cs","text":"Definice"},
     {"language":"Chinese","symbol":"zh_CN","text":"定义"},
-    {"language":"Dutch","symbol":"nl","text":"Definitie"},
+    {"language":"Spanish","symbol":"es","text":"Definición"},
+    {"language":"Arabic","symbol":"ar","text":"تعريف"},
+    {"language":"Hindi","symbol":"hi","text":"परिभाषा"},
+    {"language":"Portuguese","symbol":"pt","text":"Definição"},
+    {"language":"Russian","symbol":"ru","text":"Определение"},
+    {"language":"Japanese","symbol":"ja","text":"定義"},
     {"language":"French","symbol":"fr","text":"Définition"},
     {"language":"German","symbol":"de","text":"Definition"},
+    {"language":"Korean","symbol":"ko","text":"정의"},
     {"language":"Italian","symbol":"it","text":"Definizione"},
-    {"language":"Japanese","symbol":"ja","text":"意味"},
-    {"language":"Russian","symbol":"ru","text":"Определение"},
-    {"language":"Spanish","symbol":"es","text":"Definición"}
+    {"language":"Turkish","symbol":"tr","text":"Tanım"},
+    {"language":"Vietnamese","symbol":"vi","text":"Định nghĩa"},
+    {"language":"Polish","symbol":"pl","text":"Definicja"},
+    {"language":"Dutch","symbol":"nl","text":"Definitie"},
+    {"language":"Indonesian","symbol":"id","text":"Definisi"},
+    {"language":"Thai","symbol":"th","text":"คำนิยาม"},
+    {"language":"Persian","symbol":"fa","text":"تعریف"},
+    {"language":"Ukrainian","symbol":"uk","text":"Визначення"},
+    {"language":"Greek","symbol":"el","text":"Ορισμός"},
+    {"language":"Czech","symbol":"cs","text":"Definice"},
+    {"language":"Swedish","symbol":"sv","text":"Definition"},
+    {"language":"Hebrew","symbol":"he","text":"הגדרה"},
+    {"language":"Romanian","symbol":"ro","text":"Definiție"},
+    {"language":"Hungarian","symbol":"hu","text":"Definíció"},
+    {"language":"Danish","symbol":"da","text":"Definition"},
+    {"language":"Finnish","symbol":"fi","text":"Määritelmä"},
+    {"language":"Norwegian","symbol":"no","text":"Definisjon"},
+    {"language":"Bulgarian","symbol":"bg","text":"Определение"}
 ]
diff --git a/sphinx_proof/translations/jsons/Example.json b/sphinx_proof/translations/jsons/Example.json
index f4286ce..f857a23 100644
--- a/sphinx_proof/translations/jsons/Example.json
+++ b/sphinx_proof/translations/jsons/Example.json
@@ -1,9 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Example"},
-    {"language":"Czech","symbol":"cs","text":"Příklad"},
-    {"language":"Dutch","symbol":"nl","text":"Voorbeeld"},
+    {"language":"Chinese","symbol":"zh_CN","text":"例子"},
+    {"language":"Spanish","symbol":"es","text":"Ejemplo"},
+    {"language":"Arabic","symbol":"ar","text":"مثال"},
+    {"language":"Hindi","symbol":"hi","text":"उदाहरण"},
+    {"language":"Portuguese","symbol":"pt","text":"Exemplo"},
+    {"language":"Russian","symbol":"ru","text":"Пример"},
+    {"language":"Japanese","symbol":"ja","text":"例"},
     {"language":"French","symbol":"fr","text":"Exemple"},
     {"language":"German","symbol":"de","text":"Beispiel"},
+    {"language":"Korean","symbol":"ko","text":"예제"},
     {"language":"Italian","symbol":"it","text":"Esempio"},
-    {"language":"Spanish","symbol":"es","text":"Ejemplo"}
+    {"language":"Turkish","symbol":"tr","text":"Örnek"},
+    {"language":"Vietnamese","symbol":"vi","text":"Ví dụ"},
+    {"language":"Polish","symbol":"pl","text":"Przykład"},
+    {"language":"Dutch","symbol":"nl","text":"Voorbeeld"},
+    {"language":"Indonesian","symbol":"id","text":"Contoh"},
+    {"language":"Thai","symbol":"th","text":"ตัวอย่าง"},
+    {"language":"Persian","symbol":"fa","text":"مثال"},
+    {"language":"Ukrainian","symbol":"uk","text":"Приклад"},
+    {"language":"Greek","symbol":"el","text":"Παράδειγμα"},
+    {"language":"Czech","symbol":"cs","text":"Příklad"},
+    {"language":"Swedish","symbol":"sv","text":"Exempel"},
+    {"language":"Hebrew","symbol":"he","text":"דוגמה"},
+    {"language":"Romanian","symbol":"ro","text":"Exemplu"},
+    {"language":"Hungarian","symbol":"hu","text":"Példa"},
+    {"language":"Danish","symbol":"da","text":"Eksempel"},
+    {"language":"Finnish","symbol":"fi","text":"Esimerkki"},
+    {"language":"Norwegian","symbol":"no","text":"Eksempel"},
+    {"language":"Bulgarian","symbol":"bg","text":"Пример"}
 ]
diff --git a/sphinx_proof/translations/jsons/Lemma.json b/sphinx_proof/translations/jsons/Lemma.json
index 1eb87e1..3da7f85 100644
--- a/sphinx_proof/translations/jsons/Lemma.json
+++ b/sphinx_proof/translations/jsons/Lemma.json
@@ -1,13 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Lemma"},
-    {"language":"Arabic","symbol":"ar","text":"ليما"},
     {"language":"Chinese","symbol":"zh_CN","text":"引理"},
-    {"language":"Czech","symbol":"cs","text":"Lemma"},
-    {"language":"Dutch","symbol":"nl","text":"Lemma"},
+    {"language":"Spanish","symbol":"es","text":"Lema"},
+    {"language":"Arabic","symbol":"ar","text":"ليما"},
+    {"language":"Hindi","symbol":"hi","text":"लेम्मा"},
+    {"language":"Portuguese","symbol":"pt","text":"Lema"},
+    {"language":"Russian","symbol":"ru","text":"Лемма"},
+    {"language":"Japanese","symbol":"ja","text":"補題"},
     {"language":"French","symbol":"fr","text":"Lemme"},
     {"language":"German","symbol":"de","text":"Lemma"},
+    {"language":"Korean","symbol":"ko","text":"보조정리"},
     {"language":"Italian","symbol":"it","text":"Lemma"},
-    {"language":"Japanese","symbol":"ja","text":"補題"},
-    {"language":"Russian","symbol":"ru","text":"Лемма"},
-    {"language":"Spanish","symbol":"es","text":"Lema"}
+    {"language":"Turkish","symbol":"tr","text":"Lemma"},
+    {"language":"Vietnamese","symbol":"vi","text":"Bổ đề"},
+    {"language":"Polish","symbol":"pl","text":"Lemat"},
+    {"language":"Dutch","symbol":"nl","text":"Lemma"},
+    {"language":"Indonesian","symbol":"id","text":"Lemma"},
+    {"language":"Thai","symbol":"th","text":"บทแทรก"},
+    {"language":"Persian","symbol":"fa","text":"لم"},
+    {"language":"Ukrainian","symbol":"uk","text":"Лема"},
+    {"language":"Greek","symbol":"el","text":"Λήμμα"},
+    {"language":"Czech","symbol":"cs","text":"Lemma"},
+    {"language":"Swedish","symbol":"sv","text":"Lemma"},
+    {"language":"Hebrew","symbol":"he","text":"למה"},
+    {"language":"Romanian","symbol":"ro","text":"Lemă"},
+    {"language":"Hungarian","symbol":"hu","text":"Lemma"},
+    {"language":"Danish","symbol":"da","text":"Lemma"},
+    {"language":"Finnish","symbol":"fi","text":"Lemma"},
+    {"language":"Norwegian","symbol":"no","text":"Lemma"},
+    {"language":"Bulgarian","symbol":"bg","text":"Лема"}
 ]
diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json
index 1ee6a5e..26cbc6c 100644
--- a/sphinx_proof/translations/jsons/Observation.json
+++ b/sphinx_proof/translations/jsons/Observation.json
@@ -1,10 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Observation"},
     {"language":"Chinese","symbol":"zh_CN","text":"观察"},
-    {"language":"Czech","symbol":"cs","text":"Pozorování"},
-    {"language":"Dutch","symbol":"nl","text":"Observatie"},
+    {"language":"Spanish","symbol":"es","text":"Observación"},
+    {"language":"Arabic","symbol":"ar","text":"ملاحظة"},
+    {"language":"Hindi","symbol":"hi","text":"अवलोकन"},
+    {"language":"Portuguese","symbol":"pt","text":"Observação"},
+    {"language":"Russian","symbol":"ru","text":"Наблюдение"},
+    {"language":"Japanese","symbol":"ja","text":"観察"},
     {"language":"French","symbol":"fr","text":"Observation"},
     {"language":"German","symbol":"de","text":"Beobachtung"},
+    {"language":"Korean","symbol":"ko","text":"관찰"},
     {"language":"Italian","symbol":"it","text":"Osservazione"},
-    {"language":"Spanish","symbol":"es","text":"Observación"}
+    {"language":"Turkish","symbol":"tr","text":"Gözlem"},
+    {"language":"Vietnamese","symbol":"vi","text":"Quan sát"},
+    {"language":"Polish","symbol":"pl","text":"Obserwacja"},
+    {"language":"Dutch","symbol":"nl","text":"Observatie"},
+    {"language":"Indonesian","symbol":"id","text":"Observasi"},
+    {"language":"Thai","symbol":"th","text":"การสังเกต"},
+    {"language":"Persian","symbol":"fa","text":"مشاهده"},
+    {"language":"Ukrainian","symbol":"uk","text":"Спостереження"},
+    {"language":"Greek","symbol":"el","text":"Παρατήρηση"},
+    {"language":"Czech","symbol":"cs","text":"Pozorování"},
+    {"language":"Swedish","symbol":"sv","text":"Observation"},
+    {"language":"Hebrew","symbol":"he","text":"תצפית"},
+    {"language":"Romanian","symbol":"ro","text":"Observație"},
+    {"language":"Hungarian","symbol":"hu","text":"Megfigyelés"},
+    {"language":"Danish","symbol":"da","text":"Observation"},
+    {"language":"Finnish","symbol":"fi","text":"Havainto"},
+    {"language":"Norwegian","symbol":"no","text":"Observasjon"},
+    {"language":"Bulgarian","symbol":"bg","text":"Наблюдение"}
 ]
diff --git a/sphinx_proof/translations/jsons/Property.json b/sphinx_proof/translations/jsons/Property.json
index 1cbf960..d785005 100644
--- a/sphinx_proof/translations/jsons/Property.json
+++ b/sphinx_proof/translations/jsons/Property.json
@@ -1,10 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Property"},
     {"language":"Chinese","symbol":"zh_CN","text":"性质"},
-    {"language":"Czech","symbol":"cs","text":"Vlastnost"},
-    {"language":"Dutch","symbol":"nl","text":"Eigenschap"},
+    {"language":"Spanish","symbol":"es","text":"Propiedad"},
+    {"language":"Arabic","symbol":"ar","text":"خاصية"},
+    {"language":"Hindi","symbol":"hi","text":"गुण"},
+    {"language":"Portuguese","symbol":"pt","text":"Propriedade"},
+    {"language":"Russian","symbol":"ru","text":"Свойство"},
+    {"language":"Japanese","symbol":"ja","text":"性質"},
     {"language":"French","symbol":"fr","text":"Propriété"},
     {"language":"German","symbol":"de","text":"Eigenschaft"},
+    {"language":"Korean","symbol":"ko","text":"성질"},
     {"language":"Italian","symbol":"it","text":"Proprietà"},
-    {"language":"Spanish","symbol":"es","text":"Propiedad"}
+    {"language":"Turkish","symbol":"tr","text":"Özellik"},
+    {"language":"Vietnamese","symbol":"vi","text":"Tính chất"},
+    {"language":"Polish","symbol":"pl","text":"Własność"},
+    {"language":"Dutch","symbol":"nl","text":"Eigenschap"},
+    {"language":"Indonesian","symbol":"id","text":"Sifat"},
+    {"language":"Thai","symbol":"th","text":"คุณสมบัติ"},
+    {"language":"Persian","symbol":"fa","text":"ویژگی"},
+    {"language":"Ukrainian","symbol":"uk","text":"Властивість"},
+    {"language":"Greek","symbol":"el","text":"Ιδιότητα"},
+    {"language":"Czech","symbol":"cs","text":"Vlastnost"},
+    {"language":"Swedish","symbol":"sv","text":"Egenskap"},
+    {"language":"Hebrew","symbol":"he","text":"תכונה"},
+    {"language":"Romanian","symbol":"ro","text":"Proprietate"},
+    {"language":"Hungarian","symbol":"hu","text":"Tulajdonság"},
+    {"language":"Danish","symbol":"da","text":"Egenskab"},
+    {"language":"Finnish","symbol":"fi","text":"Ominaisuus"},
+    {"language":"Norwegian","symbol":"no","text":"Egenskap"},
+    {"language":"Bulgarian","symbol":"bg","text":"Свойство"}
 ]
diff --git a/sphinx_proof/translations/jsons/Proposition.json b/sphinx_proof/translations/jsons/Proposition.json
index eab7bd6..92532a9 100644
--- a/sphinx_proof/translations/jsons/Proposition.json
+++ b/sphinx_proof/translations/jsons/Proposition.json
@@ -1,9 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Proposition"},
     {"language":"Chinese","symbol":"zh_CN","text":"命题"},
-    {"language":"Dutch","symbol":"nl","text":"Propositie"},
+    {"language":"Spanish","symbol":"es","text":"Proposición"},
+    {"language":"Arabic","symbol":"ar","text":"قضية"},
+    {"language":"Hindi","symbol":"hi","text":"प्रतिज्ञा"},
+    {"language":"Portuguese","symbol":"pt","text":"Proposição"},
+    {"language":"Russian","symbol":"ru","text":"Предложение"},
+    {"language":"Japanese","symbol":"ja","text":"命題"},
     {"language":"French","symbol":"fr","text":"Proposition"},
     {"language":"German","symbol":"de","text":"Proposition"},
+    {"language":"Korean","symbol":"ko","text":"명제"},
     {"language":"Italian","symbol":"it","text":"Proposizione"},
-    {"language":"Spanish","symbol":"es","text":"Proposición"}
+    {"language":"Turkish","symbol":"tr","text":"Önerme"},
+    {"language":"Vietnamese","symbol":"vi","text":"Mệnh đề"},
+    {"language":"Polish","symbol":"pl","text":"Twierdzenie"},
+    {"language":"Dutch","symbol":"nl","text":"Propositie"},
+    {"language":"Indonesian","symbol":"id","text":"Proposisi"},
+    {"language":"Thai","symbol":"th","text":"ประพจน์"},
+    {"language":"Persian","symbol":"fa","text":"گزاره"},
+    {"language":"Ukrainian","symbol":"uk","text":"Пропозиція"},
+    {"language":"Greek","symbol":"el","text":"Πρόταση"},
+    {"language":"Czech","symbol":"cs","text":"Tvrzení"},
+    {"language":"Swedish","symbol":"sv","text":"Proposition"},
+    {"language":"Hebrew","symbol":"he","text":"הצעה"},
+    {"language":"Romanian","symbol":"ro","text":"Propoziție"},
+    {"language":"Hungarian","symbol":"hu","text":"Tétel"},
+    {"language":"Danish","symbol":"da","text":"Proposition"},
+    {"language":"Finnish","symbol":"fi","text":"Väite"},
+    {"language":"Norwegian","symbol":"no","text":"Proposisjon"},
+    {"language":"Bulgarian","symbol":"bg","text":"Предложение"}
 ]
diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json
index 877a729..d405d5d 100644
--- a/sphinx_proof/translations/jsons/Remark.json
+++ b/sphinx_proof/translations/jsons/Remark.json
@@ -1,13 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Remark"},
-    {"language":"Arabic","symbol":"ar","text":"ملاحظة"},
     {"language":"Chinese","symbol":"zh_CN","text":"注记"},
-    {"language":"Czech","symbol":"cs","text":"Poznámka"},
-    {"language":"Dutch","symbol":"nl","text":"Opmerking"},
+    {"language":"Spanish","symbol":"es","text":"Observación"},
+    {"language":"Arabic","symbol":"ar","text":"ملاحظة"},
+    {"language":"Hindi","symbol":"hi","text":"टिप्पणी"},
+    {"language":"Portuguese","symbol":"pt","text":"Observação"},
+    {"language":"Russian","symbol":"ru","text":"Замечание"},
+    {"language":"Japanese","symbol":"ja","text":"注意"},
     {"language":"French","symbol":"fr","text":"Remarque"},
     {"language":"German","symbol":"de","text":"Bemerkung"},
-    {"language":"Italian","symbol":"it","text":"osservazione"},
-    {"language":"Japanese","symbol":"ja","text":"述べる"},
-    {"language":"Russian","symbol":"ru","text":"Замечание"},
-    {"language":"Spanish","symbol":"es","text":"Observación"}
+    {"language":"Korean","symbol":"ko","text":"주의"},
+    {"language":"Italian","symbol":"it","text":"Osservazione"},
+    {"language":"Turkish","symbol":"tr","text":"Not"},
+    {"language":"Vietnamese","symbol":"vi","text":"Chú ý"},
+    {"language":"Polish","symbol":"pl","text":"Uwaga"},
+    {"language":"Dutch","symbol":"nl","text":"Opmerking"},
+    {"language":"Indonesian","symbol":"id","text":"Catatan"},
+    {"language":"Thai","symbol":"th","text":"หมายเหตุ"},
+    {"language":"Persian","symbol":"fa","text":"توجه"},
+    {"language":"Ukrainian","symbol":"uk","text":"Зауваження"},
+    {"language":"Greek","symbol":"el","text":"Παρατήρηση"},
+    {"language":"Czech","symbol":"cs","text":"Poznámka"},
+    {"language":"Swedish","symbol":"sv","text":"Anmärkning"},
+    {"language":"Hebrew","symbol":"he","text":"הערה"},
+    {"language":"Romanian","symbol":"ro","text":"Observație"},
+    {"language":"Hungarian","symbol":"hu","text":"Megjegyzés"},
+    {"language":"Danish","symbol":"da","text":"Bemærkning"},
+    {"language":"Finnish","symbol":"fi","text":"Huomautus"},
+    {"language":"Norwegian","symbol":"no","text":"Merknad"},
+    {"language":"Bulgarian","symbol":"bg","text":"Забележка"}
 ]
diff --git a/sphinx_proof/translations/jsons/Theorem.json b/sphinx_proof/translations/jsons/Theorem.json
index 8ec055a..4e39e96 100644
--- a/sphinx_proof/translations/jsons/Theorem.json
+++ b/sphinx_proof/translations/jsons/Theorem.json
@@ -1,12 +1,32 @@
 [
     {"language":"English","symbol":"en","text":"Theorem"},
-    {"language":"Arabic","symbol":"ar","text":"نظرية"},
     {"language":"Chinese","symbol":"zh_CN","text":"定理"},
-    {"language":"Dutch","symbol":"nl","text":"Stelling"},
+    {"language":"Spanish","symbol":"es","text":"Teorema"},
+    {"language":"Arabic","symbol":"ar","text":"نظرية"},
+    {"language":"Hindi","symbol":"hi","text":"प्रमेय"},
+    {"language":"Portuguese","symbol":"pt","text":"Teorema"},
+    {"language":"Russian","symbol":"ru","text":"Теорема"},
+    {"language":"Japanese","symbol":"ja","text":"定理"},
     {"language":"French","symbol":"fr","text":"Théorème"},
     {"language":"German","symbol":"de","text":"Satz"},
+    {"language":"Korean","symbol":"ko","text":"정리"},
     {"language":"Italian","symbol":"it","text":"Teorema"},
-    {"language":"Japanese","symbol":"ja","text":"定理"},
-    {"language":"Russian","symbol":"ru","text":"Теорема"},
-    {"language":"Spanish","symbol":"es","text":"Teorema"}
+    {"language":"Turkish","symbol":"tr","text":"Teorem"},
+    {"language":"Vietnamese","symbol":"vi","text":"Định lý"},
+    {"language":"Polish","symbol":"pl","text":"Twierdzenie"},
+    {"language":"Dutch","symbol":"nl","text":"Stelling"},
+    {"language":"Indonesian","symbol":"id","text":"Teorema"},
+    {"language":"Thai","symbol":"th","text":"ทฤษฎีบท"},
+    {"language":"Persian","symbol":"fa","text":"قضیه"},
+    {"language":"Ukrainian","symbol":"uk","text":"Теорема"},
+    {"language":"Greek","symbol":"el","text":"Θεώρημα"},
+    {"language":"Czech","symbol":"cs","text":"Věta"},
+    {"language":"Swedish","symbol":"sv","text":"Sats"},
+    {"language":"Hebrew","symbol":"he","text":"משפט"},
+    {"language":"Romanian","symbol":"ro","text":"Teoremă"},
+    {"language":"Hungarian","symbol":"hu","text":"Tétel"},
+    {"language":"Danish","symbol":"da","text":"Sætning"},
+    {"language":"Finnish","symbol":"fi","text":"Lause"},
+    {"language":"Norwegian","symbol":"no","text":"Teorem"},
+    {"language":"Bulgarian","symbol":"bg","text":"Теорема"}
 ]
diff --git a/sphinx_proof/translations/locales/ar/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/ar/LC_MESSAGES/proof.mo
index 530a52f..c24d3b6 100644
Binary files a/sphinx_proof/translations/locales/ar/LC_MESSAGES/proof.mo and b/sphinx_proof/translations/locales/ar/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/bg/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/bg/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..c41df89
Binary files /dev/null and b/sphinx_proof/translations/locales/bg/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.mo
index 41dca3d..c378f58 100644
Binary files a/sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.mo and b/sphinx_proof/translations/locales/cs/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/da/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/da/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..c1929d6
Binary files /dev/null and b/sphinx_proof/translations/locales/da/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/el/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/el/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..cc645bb
Binary files /dev/null and b/sphinx_proof/translations/locales/el/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/es/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/es/LC_MESSAGES/proof.mo
index 7fc37a0..4b9b87c 100644
Binary files a/sphinx_proof/translations/locales/es/LC_MESSAGES/proof.mo and b/sphinx_proof/translations/locales/es/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/fa/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/fa/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..f07d693
Binary files /dev/null and b/sphinx_proof/translations/locales/fa/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/fi/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/fi/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..0fb960b
Binary files /dev/null and b/sphinx_proof/translations/locales/fi/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/fr/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/fr/LC_MESSAGES/proof.mo
index 6940395..f0c4d41 100644
Binary files a/sphinx_proof/translations/locales/fr/LC_MESSAGES/proof.mo and b/sphinx_proof/translations/locales/fr/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/he/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/he/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..2f1e6fe
Binary files /dev/null and b/sphinx_proof/translations/locales/he/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/hi/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/hi/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..e714e26
Binary files /dev/null and b/sphinx_proof/translations/locales/hi/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/hu/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/hu/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..f09a37a
Binary files /dev/null and b/sphinx_proof/translations/locales/hu/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/id/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/id/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..e08eb58
Binary files /dev/null and b/sphinx_proof/translations/locales/id/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/it/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/it/LC_MESSAGES/proof.mo
index 1a865d9..153d38e 100644
Binary files a/sphinx_proof/translations/locales/it/LC_MESSAGES/proof.mo and b/sphinx_proof/translations/locales/it/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/ja/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/ja/LC_MESSAGES/proof.mo
index 4e27f87..f313380 100644
Binary files a/sphinx_proof/translations/locales/ja/LC_MESSAGES/proof.mo and b/sphinx_proof/translations/locales/ja/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/ko/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/ko/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..703772c
Binary files /dev/null and b/sphinx_proof/translations/locales/ko/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo
index d918aee..1a7327e 100644
Binary files a/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo and b/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/no/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/no/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..fb4b04d
Binary files /dev/null and b/sphinx_proof/translations/locales/no/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/pl/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/pl/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..b761e0e
Binary files /dev/null and b/sphinx_proof/translations/locales/pl/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/pt/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/pt/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..c8dee6b
Binary files /dev/null and b/sphinx_proof/translations/locales/pt/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/ro/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/ro/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..a2acc11
Binary files /dev/null and b/sphinx_proof/translations/locales/ro/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/ru/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/ru/LC_MESSAGES/proof.mo
index c9b9ba2..ee5a3f4 100644
Binary files a/sphinx_proof/translations/locales/ru/LC_MESSAGES/proof.mo and b/sphinx_proof/translations/locales/ru/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/sv/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/sv/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..484f075
Binary files /dev/null and b/sphinx_proof/translations/locales/sv/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/th/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/th/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..17e0993
Binary files /dev/null and b/sphinx_proof/translations/locales/th/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/tr/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/tr/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..e301773
Binary files /dev/null and b/sphinx_proof/translations/locales/tr/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/uk/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/uk/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..1b325a0
Binary files /dev/null and b/sphinx_proof/translations/locales/uk/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/vi/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/vi/LC_MESSAGES/proof.mo
new file mode 100644
index 0000000..0bc1ed1
Binary files /dev/null and b/sphinx_proof/translations/locales/vi/LC_MESSAGES/proof.mo differ
diff --git a/sphinx_proof/translations/locales/zh_CN/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/zh_CN/LC_MESSAGES/proof.mo
index 7128e18..2bc5b42 100644
Binary files a/sphinx_proof/translations/locales/zh_CN/LC_MESSAGES/proof.mo and b/sphinx_proof/translations/locales/zh_CN/LC_MESSAGES/proof.mo differ