4 ms·One more thing, I suspect you can also find these in proof/axiom systems.by DrDroop 3y agoOne more thing, I suspect you can also find these in proof/axiom systems.