Synthesis and Checks And Balances