A formal insertion of dichlorocarbene into a CArS bond