The document discusses the elimination-addition mechanism of nucleophilic aromatic substitution involving benzyne. Aryl halides undergo substitution when treated with strong bases like KNH2 or NH3 at -33°C. The new substituent attaches to either the carbon that bore the leaving group or the adjacent carbon. The mechanism proceeds in three steps: 1) formation of the highly reactive intermediate benzyne, 2) relief of angle strain in benzyne, and 3) addition of the nucleophile to form the substitution product. Benzyne is a reactive dienophile that gives Diels-Alder adducts when generated in the presence of conjugated dienes. Other methods like treating 1-