2 ms·I guess that makes sense to count axioms as strongly typed.by grogenaut 9y agoI guess that makes sense to count axioms as strongly typed.