diff --git a/axioms b/axioms
index eb2667a..b3eb6b7 160000
--- a/axioms
+++ b/axioms
@@ -1 +1 @@
-Subproject commit eb2667a9eab1e2a5c3563ae153bd0c6552b8be26
+Subproject commit b3eb6b72a24a127e10b6f8455cb813ecef43d9d9