Premise: This letter is followed by a number to indicate which statement it refers to.
Hypothesis: The statement is always uniquely named 
Label: neutral