"wherein A1 is a leaving group." . . . .