It will also allow you to extend the rule set with...

# arrow

[raulraja]

It will also allow you to extend the rule set with new logical axioms you can write quantified polymorphically as prelude of what your library or system rectracts or adds as “safe”