 Because classical logic’s singular terms must denote existing things (when, as usual, ‘\(\exists\)’ is read as “there exists”), classical logic is unreliable in application to statements containing singular terms whose referents either do not exist or are not known to. Consider, for example, the true statement: