 In the wake of much subsequent discussion of such examples by Quine, Kripke and others, these examples are hardly convincing, but there is another more general reason why Łukasiewicz rejects necessities as theorems: