Draw the products formed when both cis- and trans-but-2-ene are treated with $\mathrm{OsO}_{4}$, followed by hydrolysis with $\mathrm{NaHSO}_{3}+\mathrm{H}_{2} \mathrm{O}$. Explain how these reactions illustrate that syn dihydroxylation is stereospecific.