Text: That's basically a mathematical proposition, which I have translated into English in this column.
Entailment: I've written out the mathematical proposition in English that's easier to understand.
Contradiction: I've reproduced the mathematical proposition in its original state.