. "wherein J is a leaving group;" . . .