Browsing: body of proof