Premise: What choices have we? asked Gauve.
Hypothesis: Gauve didn't ask anything. 
Label: contradiction