Text: The equation is not automatic or perfect.
Entailment: The equation could be improved.
Contradiction: The equation is perfect.