 Since an equation \(\Omega^{n}p=\Omega^{m}p\) is, in its underlying logical form, not a universal generalisation \(\forall n,m(\Omega^{n}p = \Omega^{m}p)\) but a purely schematic generalisation, there is no form \(\exists n,m(\Omega^{n}p \ne \Omega^{m}p)\) with which we can express inequality, even if we can make sense of ‘\(\ne\)’. Nor can we express the inequality \(n \ne m\) schematically as the holding of the inequivalence of \(\Omega^n p\) from \(\Omega^m p\) for every choice for \(\Omega\).  Otherwise \(2 \ne 0\) would fail since \({\sim}{\sim}p\) is equivalent to \(p\). The Tractarian theory cannot handle inequalities.