To print out proofs is possible now.