Some notes on pretty-printing and obtaining proof state.