Premise: and we call them mud bugs
Hypothesis: They don't have a local nickname. 
Label: contradiction