Browsing: Proof revival