means. The phrase "Socrates is mortal" may be thus defined: "There is at least one instant t such that t has not to