Tag browsing: formal methods