2 ms·And (3) the axioms are correctly encoded too.by thrance 1mo agoAnd (3) the axioms are correctly encoded too.