Browsing: formal reasoning