 Having explicated, to his satisfaction at least, the only real, non-illusory notion of “true in PM”, Wittgenstein answers the (§8) question “Must I not say that this proposition… is true, and… unprovable?” negatively by (re)stating his own (§§5–6) conception of “true in PM” as “proved/provable in PM”: 