 In Summa of Logic I.33, Ockham acknowledges four different kinds of signification. In his first sense, a term signifies whatever things it is truly predicable of by means of a present-tensed, assertoric copula. That is, a term t signifies a thing x if and only if ‘This is a t’ is true, pointing to x. In the second sense, t signifies x if and only if ‘This is (or was, or will be, or can be) a t’ is true, pointing to  x.[17]  These first two senses of signification are together called “primary” signification.