Text this: Silver-catalyzed formal [2π+2σ] cycloaddition of bicyclobutanes with naphthols as surrogates for arynes.