Browsing: why UseProof