Text: just worked out that way
Entailment: I used that, and it just worked out.
Contradiction: I never managed to make it work.