 The trans diastereoselectivity observed results from the reversibility of the initial addition , allowing <unk> to the favored anti betaine over the <unk> betaine . Initial addition of the ylide results in a betaine with adjacent charges ; density functional theory calculations have shown that the rate @-@ limiting step is rotation of the central bond into the <unk> necessary for <unk> attack on the sulfonium . 
