 One major difference between Aristotle’s understanding of predication and modern (i.e., post-Fregean) logic is that Aristotle treats individual predications and general predications as similar in logical form: he gives the same analysis to “Socrates is an animal” and “Humans are animals”. However, he notes that when the subject is a universal, predication takes on two forms: it can be either universal or particular. These expressions are parallel to those with which Aristotle distinguishes universal and particular terms, and Aristotle is aware of that, explicitly distinguishing between a term being a universal and a term being universally predicated of another.