Bimolecular nucleophilic substitution