Aristotle's theory of abstraction.