I think this works if you consider subscripted fs. That is, it is always the same arity, and the output is the same. So, would be better it they said f_n, where n is the layer if they network.

(I mean this as a question, but don't see an obvious place for a question mark...)