Epoxide formation and anti dihydroxylation