private area : Proof Viewing