It will follow that every such property is grounded in the term, in the sense that, in the case of every such property, it follows from the mere proposition that that term is that term that it has the property in question.