What is wrong with this argument? Let S(x, y) be “x is shorter than y.” Given the premise...

What is wrong with this argument? Let S(x, y) be “x is shorter than y.” Given the premise it follows that S(Max, Max). Then by existential generalization it follows that  so that someone is shorter than himself.