Title: Extension of goal-oriented synthesis to functions of many variables