Text: The formula doesn't exist.
Entailment: The formula to solve that problem has not yet been created.
Contradiction: The formula exists and is readily available to anyone.