Show hypotheses in theorem list
Restate hypothesis
Negation statement
Add introduce negation step