Recursive synthesis