 In Anderson’s view of traditional logic, the universal proposition “All As are B” asserts the simple fact that all As are B; a thing’s being of a certain sort is the irreducible minimum of a fact or state of affairs; there is no assertion of some “general connection” over and above that fact. Nor does the universal proposition assert that some class relation holds between A and B – the assertion of a class relation is just a way of saying that certain propositions are true. Nor is it about some totality A: it asserts simply of each and every A that it is B. And although it does not directly assert the existence of A, it certainly presupposes it. It is indeed the great virtue for Anderson of his version of traditional logic that it fully brings out the existential presuppositions of the proposition. In addition, Anderson thinks that what are often taken to be supreme logical truths (for example, identity statements) are not truths at all, for they say nothing. There is no analytic truth: if a proposition says anything at all, it can be false. Anderson rejects the view that mathematical truths are so only within a calculus, that is, derivable from a given set of chosen postulates.