Synthesis problem

Action restricted!