Browsing: mathematical verification