Synthesis and Planning