1. Syllogism is a kind of system which can be used to prove logics. Things have to be categorized when you use syllogism.

2. On pages 2~3, Barr mentioned about main geometric characteristics of the things which don’t change by distortion or stretching.

3. Geometry is not used in the concept, program diagram, adjacency diagram, style, and color.