Browsing: immediate axiom