Browsing: analysis of intensional equivalence