Browsing: synthesizability