Formal Synthesis of Ezetimibe (Synfacts, 2011)