A Formal Synthesis of Psymberin (Synfacts, 2007)