Synthesis logic options