 If Whitehead and Russell are right, it follows that no function’s scope of application will ever be able to include any object presupposing the function itself. As a result, propositional functions (along with their corresponding propositions) will end up being arranged in a hierarchy of the kind Russell proposes.