Synth Logic ($SYNTHLOGIC)