Browsing: monotone logic