A fundamental notion of the Tractatus is that of the repetition of an operation. The operation specially mentioned is the simultaneous negation represented by the Sheffer stroke. ‘If an operation is applied repeatedly to its own results, I speak of successive applications of it. … In a similar sense I speak of successive applications of more than one operation to a number of propositions’ (5.2521).