Strategies for Synthesis