 Whitehead and Russell interpret “\((x) \sdot \phi x\)” as “the proposition which asserts all the values for \(\phi \hat{x}\)” (PM 41). The use of the word “all” has special significance within the theory of types. They present the vicious circle principle, which underlies the theory of types: