 However, because of the qualification in \(\textbf{MP}_{Q},\) the intuitively weaker classical theorem that something exists—more exactly, that something is self-identical, \(\exists \sfy\, \sfy=\sfy\)—is not provable. The usual proof in classical predicate logic runs along the above lines: