What is wrong with this argument? Let S(x,y) b " x is shorter than y". Given the premise $\displaystyle \left( {\exists x} \right)$ S(s,Max), it follows that S(Max,Max). Then by existential generalization it follows that $\displaystyle \left( {\exists x} \right)$S(x,x), so that someone is shorter than himself.