10 Interoperability

In addition to everything else Aris can do, Aris can also use other proofs from other systems with the lemma rule (see lm).