add synthesis section