Browsing: Soundness in Program Verification