For let us suppose that the function F(fx) could be its own argument: in that case there would be a proposition 'F(F(fx))', in which the outer function and the inner function must have different meanings, since the inner one has the form φ(fx) and the outer one has the form ψ(φ(fx)).