 This is the truth-maker end of Wittgenstein’s insight that propositions are bi-polar: if a proposition has one truth-value, however it gets it, its contradictory opposite has the opposite truth-value without further ado; 