For names being supposed to stand perpetually for the same ideas, and the same ideas having immutably the same habitudes one to another, propositions concerning any abstract ideas that are once true must needs be.