Text: The calculations of this paper were done in 5 Lotus files.
Entailment: Calculations were done.
Contradiction: There was no way of performing a calculation.