 These have to be interpreted in a general, and schematic, fashion. Thus when we plug in \({\sim}\) for \(\Omega\), we find that (Wittgenstein had no intuitionist scruples here) a double application \({\sim}{\sim}p\) takes us back to (has the same sense as) \(p\). But this does not ground the truth of \(2 = 0\), since for many other operations \(\Omega \Omega p\) is not equivalent to \(p\). On the other hand