Synthesis for CFX