“If a polygon has four sides, then it is a square.”