"A1 is a leaving group;" . . . .