Premise: formed yeah they're already right
Hypothesis: They are correct. 
Label: entailment