Premise: Users can choose English, Spanish or Vietnamese.
Hypothesis: Unfortunately the English language is not a choice. 
Label: contradiction