diff --git a/sphinx_proof/translations/jsons/Algorithm.json b/sphinx_proof/translations/jsons/Algorithm.json
index aec3871..2116dc8 100644
--- a/sphinx_proof/translations/jsons/Algorithm.json
+++ b/sphinx_proof/translations/jsons/Algorithm.json
@@ -1 +1 @@
-[{"language":"English","symbol":"en","text":"Algorithm"},{"language":"French","symbol":"fr","text":"Algorithme"},{"language":"Italian","symbol":"it","text":"Algoritmo"},{"language":"Czech","symbol":"cs","text":"Algoritmus"}]
+[{"language":"English","symbol":"en","text":"Algorithm"},{"language":"French","symbol":"fr","text":"Algorithme"},{"language":"Italian","symbol":"it","text":"Algoritmo"},{"language":"Czech","symbol":"cs","text":"Algoritmus"},{"language":"Dutch","symbol":"nl","text":"Algoritme"}]
diff --git a/sphinx_proof/translations/jsons/Assumption.json b/sphinx_proof/translations/jsons/Assumption.json
index 17e55b3..b24ef50 100644
--- a/sphinx_proof/translations/jsons/Assumption.json
+++ b/sphinx_proof/translations/jsons/Assumption.json
@@ -1 +1 @@
-[{"language":"English","symbol":"en","text":"Assumption"}]
+[{"language":"English","symbol":"en","text":"Assumption"},{"language":"Dutch","symbol":"nl","text":"Aanname"}]
diff --git a/sphinx_proof/translations/jsons/Axiom.json b/sphinx_proof/translations/jsons/Axiom.json
index a6c667a..c8d5a9b 100644
--- a/sphinx_proof/translations/jsons/Axiom.json
+++ b/sphinx_proof/translations/jsons/Axiom.json
@@ -1 +1 @@
-[{"language":"English","symbol":"en","text":"Axiom"},{"language":"French","symbol":"fr","text":"Axiome"},{"language":"Italian","symbol":"it","text":"Assioma"},{"language":"Czech","symbol":"cs","text":"Axiom"}]
+[{"language":"English","symbol":"en","text":"Axiom"},{"language":"French","symbol":"fr","text":"Axiome"},{"language":"Italian","symbol":"it","text":"Assioma"},{"language":"Czech","symbol":"cs","text":"Axiom"},{"language":"Dutch","symbol":"nl","text":"Axioma"}]
diff --git a/sphinx_proof/translations/jsons/Corollary.json b/sphinx_proof/translations/jsons/Corollary.json
new file mode 100644
index 0000000..2b360c7
--- /dev/null
+++ b/sphinx_proof/translations/jsons/Corollary.json
@@ -0,0 +1 @@
+[{"language":"English","symbol":"en","text":"Corollary"},{"language":"Dutch","symbol":"nl","text":"Gevolg"}]
diff --git a/sphinx_proof/translations/jsons/Criterion.json b/sphinx_proof/translations/jsons/Criterion.json
index e4bc089..a107af8 100644
--- a/sphinx_proof/translations/jsons/Criterion.json
+++ b/sphinx_proof/translations/jsons/Criterion.json
@@ -1 +1 @@
-[{"language":"English","symbol":"en","text":"Criterion"},{"language":"French","symbol":"fr","text":"Critère"},{"language":"Italian","symbol":"it","text":"Criterio"},{"language":"Czech","symbol":"cs","text":"Kritérium"}]
+[{"language":"English","symbol":"en","text":"Criterion"},{"language":"French","symbol":"fr","text":"Critère"},{"language":"Italian","symbol":"it","text":"Criterio"},{"language":"Czech","symbol":"cs","text":"Kritérium"},{"language":"Dutch","symbol":"nl","text":"Criterium"}]
diff --git a/sphinx_proof/translations/jsons/Example.json b/sphinx_proof/translations/jsons/Example.json
index e6b8fe7..d454e5b 100644
--- a/sphinx_proof/translations/jsons/Example.json
+++ b/sphinx_proof/translations/jsons/Example.json
@@ -1 +1 @@
-[{"language":"English","symbol":"en","text":"Example"},{"language":"French","symbol":"fr","text":"Exemple"},{"language":"Italian","symbol":"it","text":"Esempio"},{"language":"Czech","symbol":"cs","text":"Příklad"}]
+[{"language":"English","symbol":"en","text":"Example"},{"language":"French","symbol":"fr","text":"Exemple"},{"language":"Italian","symbol":"it","text":"Esempio"},{"language":"Czech","symbol":"cs","text":"Příklad"},{"language":"Dutch","symbol":"nl","text":"Voorbeeld"}]
diff --git a/sphinx_proof/translations/jsons/Observation.json b/sphinx_proof/translations/jsons/Observation.json
index 201ccb2..3277e9d 100644
--- a/sphinx_proof/translations/jsons/Observation.json
+++ b/sphinx_proof/translations/jsons/Observation.json
@@ -1 +1 @@
-[{"language":"English","symbol":"en","text":"Observation"},{"language":"French","symbol":"fr","text":"Observation"},{"language":"Italian","symbol":"it","text":"Osservazione"},{"language":"Czech","symbol":"cs","text":"Pozorování"}]
+[{"language":"English","symbol":"en","text":"Observation"},{"language":"French","symbol":"fr","text":"Observation"},{"language":"Italian","symbol":"it","text":"Osservazione"},{"language":"Czech","symbol":"cs","text":"Pozorování"},{"language":"Dutch","symbol":"nl","text":"Observatie"}]
diff --git a/sphinx_proof/translations/jsons/Proof.json b/sphinx_proof/translations/jsons/Proof.json
new file mode 100644
index 0000000..dabf4d6
--- /dev/null
+++ b/sphinx_proof/translations/jsons/Proof.json
@@ -0,0 +1 @@
+[{"language":"English","symbol":"en","text":"Proof"},{"language":"Dutch","symbol":"nl","text":"Bewijs"}]
diff --git a/sphinx_proof/translations/jsons/Property.json b/sphinx_proof/translations/jsons/Property.json
index 2543e61..e9794f0 100644
--- a/sphinx_proof/translations/jsons/Property.json
+++ b/sphinx_proof/translations/jsons/Property.json
@@ -1 +1 @@
-[{"language":"English","symbol":"en","text":"Property"},{"language":"French","symbol":"fr","text":"Propriété"},{"language":"Italian","symbol":"it","text":"Proprietà"},{"language":"Czech","symbol":"cs","text":"Vlastnost"}]
+[{"language":"English","symbol":"en","text":"Property"},{"language":"French","symbol":"fr","text":"Propriété"},{"language":"Italian","symbol":"it","text":"Proprietà"},{"language":"Czech","symbol":"cs","text":"Vlastnost"},{"language":"Dutch","symbol":"nl","text":"Eigenschap"}]
diff --git a/sphinx_proof/translations/jsons/Proposition.json b/sphinx_proof/translations/jsons/Proposition.json
index 153e152..f1bcc8d 100644
--- a/sphinx_proof/translations/jsons/Proposition.json
+++ b/sphinx_proof/translations/jsons/Proposition.json
@@ -1 +1 @@
-[{"language":"English","symbol":"en","text":"Proposition"},{"language":"French","symbol":"fr","text":"Proposition"},{"language":"Italian","symbol":"it","text":"Proposizione"}]
+[{"language":"English","symbol":"en","text":"Proposition"},{"language":"French","symbol":"fr","text":"Proposition"},{"language":"Italian","symbol":"it","text":"Proposizione"},{"language":"Dutch","symbol":"nl","text":"Propositie"}]
diff --git a/sphinx_proof/translations/jsons/Remark.json b/sphinx_proof/translations/jsons/Remark.json
index fc89083..3a3d17c 100644
--- a/sphinx_proof/translations/jsons/Remark.json
+++ b/sphinx_proof/translations/jsons/Remark.json
@@ -1,2 +1 @@
-[{"language":"English","symbol":"en","text":"Remark"},{"language":"Arabic","symbol":"ar","text":"ملاحظة"},{"language":"Dutch","symbol":"nl","text":"Opmerking"},{"language":"French","symbol":"fr","text":"Remarque"},{"language":"German","symbol":"de","text":"Anmerkung"},{"language":"Italian","symbol":"it","text":"osservazione"},{"language":"Japanese","symbol":"ja","text":"述べる"},{"language":"Russian","symbol":"ru","text":"Замечание"},{"language":"Spanish","symbol":"es","text":"Observación"},
-{"language":"Czech","symbol":"cs","text":"Poznámka"}]
+[{"language":"English","symbol":"en","text":"Remark"},{"language":"Arabic","symbol":"ar","text":"ملاحظة"},{"language":"French","symbol":"fr","text":"Remarque"},{"language":"German","symbol":"de","text":"Anmerkung"},{"language":"Italian","symbol":"it","text":"osservazione"},{"language":"Japanese","symbol":"ja","text":"述べる"},{"language":"Russian","symbol":"ru","text":"Замечание"},{"language":"Spanish","symbol":"es","text":"Observación"},{"language":"Czech","symbol":"cs","text":"Poznámka"},{"language":"Dutch","symbol":"nl","text":"Opmerking"}]
diff --git a/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo b/sphinx_proof/translations/locales/nl/LC_MESSAGES/proof.mo
index f728a5f..fb56d9c 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