Use Proof Viewer tools