minor changes + pretty printing of proofs