Wherever we perceive any agreement or disagreement amongst them, there we have general knowledge; and by putting the names of those ideas together accordingly in propositions, can with certainty pronounce general truths.