Synthesis and Satisfaction