 α @-@ Hydroxylation with oxaziridines has been widely implemented in total synthesis . It is a key step in both the Holton Taxol total synthesis and the Wender Taxol total synthesis . Additionally , Forsyth implemented the transformation in his synthesis of the C3 @-@ C14 ( Substituted 1 @,@ 7 @-@ Dioxaspiro [ 5 @.@ 5 ] undec @-@ 3 @-@ ene ) System of Okadaic acid . 
 α @-@ Hydroxylation with oxaziridines <a href='been_done' title='1'><mark>has</mark></a> been widely implemented in total synthesis . It <a href='drop_aux' title='2'><mark>is</mark></a>a key step in both the Holton Taxol total synthesis and the Wender Taxol total synthesis . Additionally , Forsyth implemented the transformation in his synthesis of the C3 @-@ C14 ( Substituted 1 @,@ 7 @-@ Dioxaspiro [ 5 @.@ 5 ] undec @-@ 3 @-@ ene ) System of Okadaic acid . 
Α @-@ Hydroxylation w oxaziridines done been widely implemented in total synthesis . It a key step in both the Holton Taxol total synthesis and da Wender Taxol total synthesis . Additionally , Forsyth implemented tdatransformation in his synthesis of thda3 @-@ C14 ( Substituted 1 @,@ 7 @-@ Dioxaspiro [ 5 @.@ 5 ] undec @-@ 3 @-@ ene ) System of Okadaic acid .