well i don’t know it sounds fun!!
the proposition is that if you pair the axioms with the statements you create a complete sublogic, dunno if that works, and also that there are better ways to do it, and that it hastens the end of the universe if you do
