Premise: formed yeah they're already right
Hypothesis: They are wrong. 
Label: contradiction