Browsing: formal reduction