Formal Functions in Perspective