Premise: The formula doesn't exist.

Hypothesis: The formula exists and is readily available to anyone.
Relation: contradiction