Such propositions are therefore called not because they are eternal propositions actually formed, and antecedent to the understanding that at any time makes them; nor because they are imprinted on the mind from any patterns that are anywhere out of the mind, and existed before: but because, being once made about abstract ideas, so as to be true, they will, whenever they can be supposed to be made again at any time, past or come, by a mind having those ideas, always actually be true.