4 ms·It's an indication, a hint, that rules and axioms are not always completely exchangable.by mafribe 11y agoIt's an indication, a hint, that rules and axioms are not always completely exchangable.