diff --git a/axioms b/axioms
index 22ee32c..eb2667a 160000
--- a/axioms
+++ b/axioms
@@ -1 +1 @@
-Subproject commit 22ee32c4312490800a5c4c2d0d5d5b587559167c
+Subproject commit eb2667a9eab1e2a5c3563ae153bd0c6552b8be26