Title: Intermediate-function synthesis