To say of a pair of properties and, that any term which had had would necessarily have had, is equivalent to saying that, in every case, from the proposition with regard to any given term that it has, it follows that that term has Q: