Wittgenstein's eliminability thesis treats φ(m) as a pseudo-proposition, but this collapses the dist...