Browsing: logical deduction