Title: Strategy Synthesis Concise