Theme: Formal Synthesis