Premise: Half challenge.

Hypothesis: Full solutions.
Relation: contradiction