Premise:  Menes was there, all right.
Hypothesis: Menes was nowhere to be found.
Label: contradiction