Greek philosophers also discovered that they could build elegant arguments by boiling down ideas into simple abstractions, which they carefully linked together according to the rules of formal logic. For example: All men are mortal. Socrates is a man. Therefore Socrates is mortal. Or I think, therefore, I am.2