Browsing: Logical consequence