Salmon thinks, again contrary to Kant, that it is perfectly legitimate to invoke existence in a term's definition. Thus "God" might be legitimately defined as "the conceivable individual that is divine and also exists". According to Salmon, the ontological argument for God's existence fallaciously assumes that "The "F" is "F"" is a truth of logic, or an analytic truth. What is true by logic is a significantly weaker variant: "If anything is uniquely "F", then the "F" is "F"". The strongest conclusion that validly follows from the proposed definition is that "if" any conceivable individual actually is uniquely both divine and existent, "then" God actually exists. This same conclusion is also a trivial logical consequence of the atheist's contention that no conceivable individual actually is uniquely both divine and existent. According to Salmon's critique, the ontological argument thus shows nothing.