Third Order Synthesis