13.03.28.
ProofUI: when reading from file, axioms can also be given in arg.