 Thus we take propositions as values of the propositional variables, on the ground that this is what is clearly demanded by the background and purpose of Russell’s logic, and in spite of what seems to be an explicit denial by Whitehead and Russell in PM, pp. 43–44.