Premise: Here's how it works.
Hypothesis: Here's how it fails. 
Label: contradiction