diff --git a/build_info.json b/build_info.json
index 4b2d3e0..8be2c5c 100644
--- a/build_info.json
+++ b/build_info.json
@@ -1,294 +1,304 @@
 {
     "build_time": "",
     "source files": {
-        "version": "v2.4.0-beta-8",
-        "commit": "c592a7f8acca783756365029cf2d643b35e2b62f",
+        "version": "v2.4.3",
+        "commit": "bc072ff89192fb3de8f2e6799e2d34d122385334",
         "dirty": false
     },
     "pytex": {
-        "version": "v1.0.0-18",
-        "commit": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+        "version": "v1.2.0-3-g5e077e7",
+        "commit": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
         "dirty": false
     },
     "tex_sources": [
         {
             "name": "mkessler-restate.sty",
             "source file": "restate.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-enumerate.sty",
             "source file": "enumerate.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-removed.sty",
             "source file": "removed.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
+            "dirty": false
+        },
+        {
+            "name": "mkessler-refproof.sty",
+            "source file": "refproof.pysty",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-bibliography.sty",
             "source file": "bibliography.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-gag.sty",
             "source file": "gag.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-figures.sty",
             "source file": "figures.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
-            "dirty": false
-        },
-        {
-            "name": "mkessler-proof.sty",
-            "source file": "proof.pysty",
-            "build time": "2022/01/08 22:43",
-            "source version": "v2.4.0-beta-8",
-            "source commit hash": "c592a7f8acca783756365029cf2d643b35e2b62f",
-            "pytex version": "v1.0.0-18",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-exsheet.sty",
             "source file": "exsheet.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-lang-input.sty",
             "source file": "lang-input.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-lectures.sty",
             "source file": "lectures.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-mathalias.sty",
             "source file": "mathalias.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-mathfixes.sty",
             "source file": "mathfixes.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-unicodechar.sty",
             "source file": "unicodechar.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-mathop.sty",
             "source file": "mathop.pysty",
-            "build time": "2022/01/08 22:43",
-            "source version": "v2.4.0-beta-8",
-            "source commit hash": "c592a7f8acca783756365029cf2d643b35e2b62f",
-            "pytex version": "v1.0.0-18",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-mathfig.sty",
             "source file": "mathfig.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-mathsymb.sty",
             "source file": "mathsymb.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-faktor.sty",
             "source file": "faktor.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-mathfont.sty",
             "source file": "mathfont.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-math.sty",
             "source file": "math.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-counters.sty",
             "source file": "counters.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-findpackage.sty",
             "source file": "findpackage.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-thmstyle.sty",
             "source file": "thmstyle.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-fancythm.sty",
             "source file": "fancythm.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-incfig.sty",
             "source file": "incfig.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-hypersetup.sty",
             "source file": "hypersetup.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-vocab.sty",
             "source file": "vocab.pysty",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-script.cls",
             "source file": "script.pycls",
-            "build time": "2022/01/08 22:43",
-            "source version": "v2.4.0-beta-8",
-            "source commit hash": "c592a7f8acca783756365029cf2d643b35e2b62f",
-            "pytex version": "v1.0.0-18",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         },
         {
             "name": "mkessler-sheet.cls",
             "source file": "sheet.pycls",
-            "build time": "2021/10/29 09:41",
-            "source version": "v2.4.0-beta",
-            "source commit hash": "0aefd5fd7183f41ae0576febd7068f2ed9c6fefb",
-            "pytex version": "v1.2.0",
-            "pytex commit hash": "126d420b7a6ed2d4b2a42d534ab2e12344869643",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
+            "dirty": false
+        },
+        {
+            "name": "translator-proof-dictionary-{language}.dict",
+            "source file": "proof.pydict",
+            "build time": "2022/01/09 13:37",
+            "source version": "v2.4.3",
+            "source commit hash": "bc072ff89192fb3de8f2e6799e2d34d122385334",
+            "pytex version": "v1.2.0-3-g5e077e7",
+            "pytex commit hash": "5e077e77d88ec6b71ac0d39e21572fad5938b0c6",
             "dirty": false
         }
     ]
diff --git a/environments/mkessler-fancythm.sty b/environments/mkessler-fancythm.sty
index 56e621b..ba85eb8 100644
--- a/environments/mkessler-fancythm.sty
+++ b/environments/mkessler-fancythm.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-fancythm}[2021/10/29 - Theorem-Environment Package]
+\ProvidesPackage{mkessler-fancythm}[2022/01/09 - Theorem-Environment Package]
 
 
 %Provides fancy theorem-like-environments used in the write-ups of my lecture notes
diff --git a/environments/mkessler-thmstyle.sty b/environments/mkessler-thmstyle.sty
index cb7e7c4..22d6c4b 100644
--- a/environments/mkessler-thmstyle.sty
+++ b/environments/mkessler-thmstyle.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-thmstyle}[2021/10/29 - Mdframed Styles used for fancythm package]
+\ProvidesPackage{mkessler-thmstyle}[2022/01/09 - Mdframed Styles used for fancythm package]
 
 
 %%%%% This provides easy-to-use styles, especially for use with the 
diff --git a/exercises/mkessler-sheet.cls b/exercises/mkessler-sheet.cls
index 329eeb0..8d5b94e 100644
--- a/exercises/mkessler-sheet.cls
+++ b/exercises/mkessler-sheet.cls
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the class again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX class is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the class can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesClass{mkessler-sheet}[2021/10/29 - Write up university exercise sheets]
+\ProvidesClass{mkessler-sheet}[2022/01/09 - Write up university exercise sheets]
 
 
 
diff --git a/lecture-notes/mkessler-lectures.sty b/lecture-notes/mkessler-lectures.sty
index 852c425..453072e 100644
--- a/lecture-notes/mkessler-lectures.sty
+++ b/lecture-notes/mkessler-lectures.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-lectures}[2021/10/29 - Package for managing different lectures within a document]
+\ProvidesPackage{mkessler-lectures}[2022/01/09 - Package for managing different lectures within a document]
 
 
 % The core of the lecture command this package provides has been taken from the preamble in
diff --git a/lecture-notes/mkessler-script.cls b/lecture-notes/mkessler-script.cls
index 2b5f7fe..2dfbab9 100644
--- a/lecture-notes/mkessler-script.cls
+++ b/lecture-notes/mkessler-script.cls
@@ -26,8 +26,8 @@
 % edit the source file and build the class again.
 % 
 % Build details:
-%   PyTeX version: v1.0.0-18 (commit 126d420)
-%   Source code version: v2.4.0-beta-8 (commit c592a7f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX class is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the class can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesClass{mkessler-script}[2022/01/08 - Write up lecture notes as script]
+\ProvidesClass{mkessler-script}[2022/01/09 - Write up lecture notes as script]
 
 
 
diff --git a/math/mkessler-faktor.sty b/math/mkessler-faktor.sty
index 3588632..460e9e2 100644
--- a/math/mkessler-faktor.sty
+++ b/math/mkessler-faktor.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-faktor}[2021/10/29 - Faktor package that also handles cofaktors]
+\ProvidesPackage{mkessler-faktor}[2022/01/09 - Faktor package that also handles cofaktors]
 
 
 
diff --git a/math/mkessler-math.sty b/math/mkessler-math.sty
index b362460..79fba68 100644
--- a/math/mkessler-math.sty
+++ b/math/mkessler-math.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-math}[2021/10/29 - Main math package.]
+\ProvidesPackage{mkessler-math}[2022/01/09 - Main math package.]
 
 
 % Collects the basic math packages used for my lecture-note write-ups
diff --git a/math/mkessler-mathalias.sty b/math/mkessler-mathalias.sty
index 4e82b37..2716b0d 100644
--- a/math/mkessler-mathalias.sty
+++ b/math/mkessler-mathalias.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-mathalias}[2021/10/29 - Easy aliasing for math style commands]
+\ProvidesPackage{mkessler-mathalias}[2022/01/09 - Easy aliasing for math style commands]
 
 
 
diff --git a/math/mkessler-mathfig.sty b/math/mkessler-mathfig.sty
index 087ed1d..2c020e3 100644
--- a/math/mkessler-mathfig.sty
+++ b/math/mkessler-mathfig.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-mathfig}[2021/10/29 - Math figures with TikZ / pgfplots / xy]
+\ProvidesPackage{mkessler-mathfig}[2022/01/09 - Math figures with TikZ / pgfplots / xy]
 
 
 % This is just a collection of the packages I use to typeset mathematical figures
diff --git a/math/mkessler-mathfixes.sty b/math/mkessler-mathfixes.sty
index 9835542..ec68a57 100644
--- a/math/mkessler-mathfixes.sty
+++ b/math/mkessler-mathfixes.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-mathfixes}[2021/10/29 - Hacky math packages for some (custom) fixes]
+\ProvidesPackage{mkessler-mathfixes}[2022/01/09 - Hacky math packages for some (custom) fixes]
 
 
 % This just brings together some (possibly ugly) hacks that I use when writing math. Likely, you do not want to use this except when building around this package (like I did), or already have similar shortcuts
diff --git a/math/mkessler-mathfont.sty b/math/mkessler-mathfont.sty
index c52d78c..8175233 100644
--- a/math/mkessler-mathfont.sty
+++ b/math/mkessler-mathfont.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-mathfont}[2021/10/29 - Collects several math fonts together]
+\ProvidesPackage{mkessler-mathfont}[2022/01/09 - Collects several math fonts together]
 
 
 %%% Store away the several (partially conflicting) fonts in internal macros
diff --git a/math/mkessler-mathop.sty b/math/mkessler-mathop.sty
index c453586..95f9c4f 100644
--- a/math/mkessler-mathop.sty
+++ b/math/mkessler-mathop.sty
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.0.0-18 (commit 126d420)
-%   Source code version: v2.4.0-beta-8 (commit c592a7f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-mathop}[2022/01/08 - Math Operator Package]
+\ProvidesPackage{mkessler-mathop}[2022/01/09 - Math Operator Package]
 
 
 %Provides some commonly used Operators used in the write-ups of my lecture notes
diff --git a/math/mkessler-mathsymb.sty b/math/mkessler-mathsymb.sty
index 0443371..707ccb6 100644
--- a/math/mkessler-mathsymb.sty
+++ b/math/mkessler-mathsymb.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-mathsymb}[2021/10/29 - Some extra math-related symbols.]
+\ProvidesPackage{mkessler-mathsymb}[2022/01/09 - Some extra math-related symbols.]
 
 
 % A collection of math-related symbols / tools I often use, mainly collected together from Stack Overflow or hacked together myself
diff --git a/math/mkessler-unicodechar.sty b/math/mkessler-unicodechar.sty
index 69bcbc0..4b83d66 100644
--- a/math/mkessler-unicodechar.sty
+++ b/math/mkessler-unicodechar.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-unicodechar}[2021/10/29 - Wrapper for the newunicodechare package with some defined unicode symbols.]
+\ProvidesPackage{mkessler-unicodechar}[2022/01/09 - Wrapper for the newunicodechare package with some defined unicode symbols.]
 
 
 % This is just a simple package loading the newunicodechar package and defining the common unicode symbols i regularly use for typesetting mathematics
diff --git a/misc/mkessler-hypersetup.sty b/misc/mkessler-hypersetup.sty
index e3af0fa..ebbcb4a 100644
--- a/misc/mkessler-hypersetup.sty
+++ b/misc/mkessler-hypersetup.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-hypersetup}[2021/10/29 - Package for setting up hyperref, cleveref and some default hyperref colors]
+\ProvidesPackage{mkessler-hypersetup}[2022/01/09 - Package for setting up hyperref, cleveref and some default hyperref colors]
 
 
 
diff --git a/misc/mkessler-incfig.sty b/misc/mkessler-incfig.sty
index e586931..d43bea7 100644
--- a/misc/mkessler-incfig.sty
+++ b/misc/mkessler-incfig.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-incfig}[2021/10/29 - Figure support for inkscape figures by Gilles Castell]
+\ProvidesPackage{mkessler-incfig}[2022/01/09 - Figure support for inkscape figures by Gilles Castell]
 
 
 
diff --git a/misc/mkessler-vocab.sty b/misc/mkessler-vocab.sty
index 0d0c69b..c0cb86a 100644
--- a/misc/mkessler-vocab.sty
+++ b/misc/mkessler-vocab.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-vocab}[2021/10/29 - Package for emphasizing vocabulary]
+\ProvidesPackage{mkessler-vocab}[2022/01/09 - Package for emphasizing vocabulary]
 
 
 %%Provides a \vocab<[name in index]>{vocabulary} command to print vocabulary in bold blue and automatically index it.
diff --git a/utils/mkessler-counters.sty b/utils/mkessler-counters.sty
index 3b29e99..7a2e6a1 100644
--- a/utils/mkessler-counters.sty
+++ b/utils/mkessler-counters.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-counters}[2021/10/29 - Write LaTeX counters to auxiliary file]
+\ProvidesPackage{mkessler-counters}[2022/01/09 - Write LaTeX counters to auxiliary file]
 
 
 
diff --git a/utils/mkessler-findpackage.sty b/utils/mkessler-findpackage.sty
index a9feddf..05a23f3 100644
--- a/utils/mkessler-findpackage.sty
+++ b/utils/mkessler-findpackage.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-findpackage}[2021/10/29 - Find a package that provides some command]
+\ProvidesPackage{mkessler-findpackage}[2022/01/09 - Find a package that provides some command]
 
 
 % This is just a quick packaging of the post by
diff --git a/wip/mkessler-bibliography.sty b/wip/mkessler-bibliography.sty
index 4872e1b..dd6010d 100644
--- a/wip/mkessler-bibliography.sty
+++ b/wip/mkessler-bibliography.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-bibliography}[2021/10/29 - Package to easily print bibliography and image attributions in document]
+\ProvidesPackage{mkessler-bibliography}[2022/01/09 - Package to easily print bibliography and image attributions in document]
 
 
 \RequirePackage{xkeyval}
diff --git a/wip/mkessler-enumerate.sty b/wip/mkessler-enumerate.sty
index 05b0158..83936a3 100644
--- a/wip/mkessler-enumerate.sty
+++ b/wip/mkessler-enumerate.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-enumerate}[2021/10/29 - Simple enumeration package wrapper. Handles custom number setting and beamer class.]
+\ProvidesPackage{mkessler-enumerate}[2022/01/09 - Simple enumeration package wrapper. Handles custom number setting and beamer class.]
 
 
 
diff --git a/wip/mkessler-exsheet.sty b/wip/mkessler-exsheet.sty
index a1b7890..f00841e 100644
--- a/wip/mkessler-exsheet.sty
+++ b/wip/mkessler-exsheet.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-exsheet}[2021/10/29 - Include exercise sheets into lecture notes easily.]
+\ProvidesPackage{mkessler-exsheet}[2022/01/09 - Include exercise sheets into lecture notes easily.]
 
 
 
diff --git a/wip/mkessler-figures.sty b/wip/mkessler-figures.sty
index dc00cc8..545cf2d 100644
--- a/wip/mkessler-figures.sty
+++ b/wip/mkessler-figures.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-figures}[2021/10/29 - Packages related to inclusion of figures.]
+\ProvidesPackage{mkessler-figures}[2022/01/09 - Packages related to inclusion of figures.]
 
 
 
diff --git a/wip/mkessler-gag.sty b/wip/mkessler-gag.sty
index f8199f8..5d7d616 100644
--- a/wip/mkessler-gag.sty
+++ b/wip/mkessler-gag.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-gag}[2021/10/29 - Numbering of environments with a fractional environment number]
+\ProvidesPackage{mkessler-gag}[2022/01/09 - Numbering of environments with a fractional environment number]
 
 
 % For the stack exchange source, see
diff --git a/wip/mkessler-lang-input.sty b/wip/mkessler-lang-input.sty
index c857ad0..f137846 100644
--- a/wip/mkessler-lang-input.sty
+++ b/wip/mkessler-lang-input.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-lang-input}[2021/10/29 - Packages related to language input. Still work in progress, not intended for use.]
+\ProvidesPackage{mkessler-lang-input}[2022/01/09 - Packages related to language input. Still work in progress, not intended for use.]
 
 
 \RequirePackage[\ifutf utf8\else utf8x\fi]{inputenc}
diff --git a/wip/mkessler-refproof.sty b/wip/mkessler-refproof.sty
new file mode 100644
index 0000000..ef348ca
--- /dev/null
+++ b/wip/mkessler-refproof.sty
@@ -0,0 +1,147 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Copyright © 2022 Maximilian Keßler
+% 
+% Permission is hereby granted, free of charge, to any person obtaining a copy
+% of this software and associated documentation files (the “Software”), to deal
+% in the Software without restriction, including without limitation the rights
+% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+% copies of the Software, and to permit persons to whom the Software is
+% furnished to do so, subject to the following conditions:
+% The above copyright notice and this permission notice shall be included in all
+% copies or substantial portions of the Software.
+% 
+% THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+% SOFTWARE.
+% 
+% This package has been generated by PyTeX, available at
+%    https://github.com/kesslermaximilian/PyTeX
+% and built from source file 'refproof.pysty'.
+% It is STRONGLY DISCOURAGED to edit this source file directly, since local
+% changes will not be versioned by Git and overwritten by the next build. Always
+% edit the source file and build the package again.
+% 
+% Build details:
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
+% 
+% This LaTeX package is free software and distributed under the MIT License. You
+% may use it freely for your purposes. The latest version of the package can be
+% obtained via GitHub under
+%    https://github.com/kesslermaximilian/LatexPackages
+% For further information see the url above.
+% Reportings of bugs, suggestions and improvements are welcome, see the README
+% at the Git repository for further information.
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\NeedsTeXFormat{LaTeX2e}
+\ProvidesPackage{mkessler-refproof}[2022/01/09 - Automatic references to theorems in proofs. Claim counters within proofs]
+
+
+
+\RequirePackage{xkeyval}
+
+\newif\ifmkessler@refproof@english\mkessler@refproof@englishtrue
+\DeclareOptionX{german}{\mkessler@refproof@englishfalse}
+\DeclareOptionX{ngerman}{\mkessler@refproof@englishfalse}
+\DeclareOptionX{english}{\mkessler@refproof@englishtrue}
+
+\DeclareOptionX*{\PackageWarning{mkessler-refproof}{Unknown '\CurrentOption'}}
+\ProcessOptionsX*\relax
+
+
+\RequirePackage{amssymb}
+\RequirePackage{amsthm}
+\RequirePackage{etoolbox}
+\RequirePackage{xparse}
+\RequirePackage{refcount}
+\RequirePackage{translator}
+
+\usedictionary{translator-proof-dictionary}
+
+%%Give claim an own counter and let it reset at each proof
+%See also at:
+%https://tex.stackexchange.com/questions/283502/reset-counter-at-beginning-of-proof
+\newtheorem{claim}{\translate{Claim}}
+\newtheorem*{claim*}{\translate{Claim}}
+\AtBeginDocument{\def\claimautorefname{\translate{Claim}}}
+
+\newif\ifmkessler@refproof@hyperref\mkessler@refproof@hyperreffalse
+\AtBeginDocument{
+    \@ifpackageloaded{hyperref}{
+        \mkessler@refproof@hyperreftrue
+        \let\mkessler@refproof@autoref\autoref
+    }{
+        \mkessler@refproof@hyperreftrue
+        \let\mkessler@refproof@autoref\ref
+    }
+}
+
+\let\mkessler@refproof@saved@proof\proof
+\let\mkessler@refproof@saved@endproof\endproof
+
+\NewDocumentEnvironment{refproof}{s m o}
+{
+    % Restore correct counter for claim
+    \ifcsdef{themkessler@refproof@#2@save@claim}{
+        \setcounter{claim}{\value{mkessler@refproof@#2@save@claim}}
+        \def\mkessler@refproof@proofprefix{\IfBooleanTF{#1}{\translate{Continuation of proof* of}}{\translate{Continuation of proof of}}}
+    }{
+        \newcounter{mkessler@refproof@#2@save@claim}
+        \setcounter{claim}{0}
+        \def\mkessler@refproof@proofprefix{\IfBooleanTF{#1}{\translate{Proof* of}}{\translate{Proof of}}}
+    }
+    % Set up counter number printing as subindexed by numbering of the reference
+    \let\mkessler@refproof@theoldclaim\theclaim
+    \def\theclaim{\getrefnumber{#2}.\mkessler@refproof@theoldclaim}
+    % Now, start the actual proof
+    \mkessler@refproof@saved@proof[\mkessler@refproof@proofprefix\space\mkessler@refproof@autoref{#2}\IfValueT{#3}{\space(#3)}]
+}
+{
+    \mkessler@refproof@saved@endproof % End proof
+    % Save current claim counter for later restoration
+    \setcounter{mkessler@refproof@#2@save@claim}{\value{claim}}
+}
+
+% Proof (with asterisk)
+\AtBeginDocument{
+    \RenewDocumentEnvironment{proof}{s o}
+    {
+        \mkessler@refproof@saved@proof[\IfBooleanTF{#1}{\translate{Proof*}}{\translate{Proof}}\IfValueT{#2}{\space(#2)}]
+    }
+    {
+        \mkessler@refproof@saved@endproof
+    }
+}
+
+\NewDocumentEnvironment{oldproof}{}{\mkessler@refproof@saved@proof}{\mkessler@refproof@saved@endproof}
+
+%%subproof environment - essentially copied proof environment from amsthm and modified its name + symbol
+\DeclareRobustCommand{\blackqed}{%
+  \ifmmode \mathqed
+  \else
+    \leavevmode\unskip\penalty9999 \hbox{}\nobreak\hfill
+    \quad\hbox{$\blacksquare$}%
+  \fi
+}
+
+\newenvironment{subproof}[1][\ifmkessler@refproof@english Subproof\else Unterbeweis\fi]{\par
+  \pushQED{\blackqed}%
+  \normalfont \topsep6\p@\@plus6\p@\relax
+  \trivlist
+  \item[\hskip\labelsep
+        \itshape
+    #1\@addpunct{.}]\ignorespaces
+}{%
+  \popQED\endtrivlist\@endpefalse
+}
+
+
+%%%% This might be dropped, but for now is collected here
+
+%%Solution (for exercises)
+\newenvironment{solution}[1][]{\begin{proof}[\ifmkessler@refproof@english{}Solution\else{}Lösung\fi{}#1]}{\end{proof}}
diff --git a/wip/mkessler-removed.sty b/wip/mkessler-removed.sty
index 7aace9b..634f17e 100644
--- a/wip/mkessler-removed.sty
+++ b/wip/mkessler-removed.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-removed}[2021/10/29 - (For now) removed parts of other packages. Not intended for use right now.]
+\ProvidesPackage{mkessler-removed}[2022/01/09 - (For now) removed parts of other packages. Not intended for use right now.]
 
 % Quotations
 \RequirePackage{csquotes} % quotations
diff --git a/wip/mkessler-restate.sty b/wip/mkessler-restate.sty
index 4727969..4bb4ba9 100644
--- a/wip/mkessler-restate.sty
+++ b/wip/mkessler-restate.sty
@@ -1,5 +1,5 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
-% Copyright © 2021 Maximilian Keßler
+% Copyright © 2022 Maximilian Keßler
 % 
 % Permission is hereby granted, free of charge, to any person obtaining a copy
 % of this software and associated documentation files (the “Software”), to deal
@@ -26,8 +26,8 @@
 % edit the source file and build the package again.
 % 
 % Build details:
-%   PyTeX version: v1.2.0 (commit 126d420)
-%   Source code version: v2.4.0-beta (commit 0aefd5f)
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
 % 
 % This LaTeX package is free software and distributed under the MIT License. You
 % may use it freely for your purposes. The latest version of the package can be
@@ -39,7 +39,7 @@
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \NeedsTeXFormat{LaTeX2e}
-\ProvidesPackage{mkessler-restate}[2021/10/29 - Replacement package]
+\ProvidesPackage{mkessler-restate}[2022/01/09 - Replacement package]
 
 
 \RequirePackage{xkeyval}
diff --git a/wip/translator-proof-dictionary-English.dict b/wip/translator-proof-dictionary-English.dict
new file mode 100644
index 0000000..19b6b0a
--- /dev/null
+++ b/wip/translator-proof-dictionary-English.dict
@@ -0,0 +1,60 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Copyright © 2022 Maximilian Keßler
+% 
+% Permission is hereby granted, free of charge, to any person obtaining a copy
+% of this software and associated documentation files (the “Software”), to deal
+% in the Software without restriction, including without limitation the rights
+% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+% copies of the Software, and to permit persons to whom the Software is
+% furnished to do so, subject to the following conditions:
+% The above copyright notice and this permission notice shall be included in all
+% copies or substantial portions of the Software.
+% 
+% THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+% SOFTWARE.
+% 
+% This dictionary has been generated by PyTeX, available at
+%    https://github.com/kesslermaximilian/PyTeX
+% and built from source file 'proof.pydict'.
+% It is STRONGLY DISCOURAGED to edit this source file directly, since local
+% changes will not be versioned by Git and overwritten by the next build. Always
+% edit the source file and build the dictionary again.
+% 
+% Build details:
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
+% 
+% This LaTeX dictionary is free software and distributed under the MIT License. You
+% may use it freely for your purposes. The latest version of the dictionary can be
+% obtained via GitHub under
+%    https://github.com/kesslermaximilian/LatexPackages
+% For further information see the url above.
+% Reportings of bugs, suggestions and improvements are welcome, see the README
+% at the Git repository for further information.
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\ProvidesDictionary{translator-proof-dictionary}{English}
+
+\providetranslation{Claim}{Claim}
+\providetranslation{claim}{claim}
+\providetranslation{Proof}{Proof}
+\providetranslation{proof}{proof}
+\providetranslation{Proof*}{Proof*}
+\providetranslation{proof*}{proof*}
+\providetranslation{Proof of}{Proof of}
+\providetranslation{proof of}{proof of}
+\providetranslation{Proof* of}{Proof* of}
+\providetranslation{proof* of}{proof* of}
+\providetranslation{Continuation of proof}{Continuation of proof}
+\providetranslation{continuation of proof}{continuation of proof}
+\providetranslation{Continuation of proof of}{Continuation of proof of}
+\providetranslation{continuation of proof of}{continuation of proof of}
+\providetranslation{Continuation of proof*}{Continuation of proof*}
+\providetranslation{continuation of proof*}{continuation of proof*}
+\providetranslation{Continuation of proof* of}{Continuation of proof* of}
+\providetranslation{continuation of proof* of}{continuation of proof* of}
diff --git a/wip/translator-proof-dictionary-German.dict b/wip/translator-proof-dictionary-German.dict
new file mode 100644
index 0000000..c01e8d7
--- /dev/null
+++ b/wip/translator-proof-dictionary-German.dict
@@ -0,0 +1,60 @@
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Copyright © 2022 Maximilian Keßler
+% 
+% Permission is hereby granted, free of charge, to any person obtaining a copy
+% of this software and associated documentation files (the “Software”), to deal
+% in the Software without restriction, including without limitation the rights
+% to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+% copies of the Software, and to permit persons to whom the Software is
+% furnished to do so, subject to the following conditions:
+% The above copyright notice and this permission notice shall be included in all
+% copies or substantial portions of the Software.
+% 
+% THE SOFTWARE IS PROVIDED “AS IS”, WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+% IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+% FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+% AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+% LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+% OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+% SOFTWARE.
+% 
+% This dictionary has been generated by PyTeX, available at
+%    https://github.com/kesslermaximilian/PyTeX
+% and built from source file 'proof.pydict'.
+% It is STRONGLY DISCOURAGED to edit this source file directly, since local
+% changes will not be versioned by Git and overwritten by the next build. Always
+% edit the source file and build the dictionary again.
+% 
+% Build details:
+%   PyTeX version: v1.2.0-3-g5e077e7 (commit 5e077e7)
+%   Source code version: v2.4.3 (commit bc072ff)
+% 
+% This LaTeX dictionary is free software and distributed under the MIT License. You
+% may use it freely for your purposes. The latest version of the dictionary can be
+% obtained via GitHub under
+%    https://github.com/kesslermaximilian/LatexPackages
+% For further information see the url above.
+% Reportings of bugs, suggestions and improvements are welcome, see the README
+% at the Git repository for further information.
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+\ProvidesDictionary{translator-proof-dictionary}{German}
+
+\providetranslation{Claim}{Behauptung}
+\providetranslation{claim}{Behauptung}
+\providetranslation{Proof}{Beweis}
+\providetranslation{proof}{Beweis}
+\providetranslation{Proof*}{Beweis*}
+\providetranslation{proof*}{Beweis*}
+\providetranslation{Proof of}{Beweis von}
+\providetranslation{proof of}{Beweis von}
+\providetranslation{Proof* of}{Beweis* von}
+\providetranslation{proof* of}{Beweis* von}
+\providetranslation{Continuation of proof}{Fortsetzung des Beweises}
+\providetranslation{continuation of proof}{Fortsetzung des Beweises}
+\providetranslation{Continuation of proof of}{Fortsetzung des Beweises zu}
+\providetranslation{continuation of proof of}{Fortsetzung des Beweises zu}
+\providetranslation{Continuation of proof*}{Fortsetzung des Beweises*}
+\providetranslation{continuation of proof*}{Fortsetzung des Beweises*}
+\providetranslation{Continuation of proof* of}{Fortsetzung des Beweises* zu}
+\providetranslation{continuation of proof* of}{Fortsetzung des Beweises* zu}