 In sum, Russell’s contradiction shows the critical status of apparently safe logical principles: either one has to give up the assumption that “any propositional function containing only one variable is equivalent to asserting membership for a class defined by the propositional function” (i.e., the comprehension principle); or one has to reject the idea that “every class can be taken as one term” (pp. 102–103).