forms a general assertion, what is universal, abstract, etc.