Trying recursive synthesis (not working for now, but the idea is this)