Premise: It is the official solution, Liq.

Hypothesis: This is an unofficial solution, Liq.
Relation: contradiction