Smart Synthesis