If, for example, we suppose that the function F ⁡ ( f ⁡ x ) could be its own argument, then there would be a proposition “ F ⁡ ( F ⁡ ( f ⁡ x ) ) ”, and in this the outer function F and the inner function