Logic is often written in syllogisms, which are one type of logical proof. A syllogism is made from a collection of statements used to logically prove the final statement, called the conclusion. One popular example of a logical syllogism was written by the Classical Greek philosopher Aristotle: