diff --git a/axioms b/axioms
index 7860720..06231bc 160000
--- a/axioms
+++ b/axioms
@@ -1 +1 @@
-Subproject commit 78607207db745029d6250ce5d49b4ebd06298b9a
+Subproject commit 06231bcf4d451c9b0893792747809982d61787f3