Optimal Synthesis