Concludes that two categories overlap because both overlap with a third: "All A are C; all B are C; therefore all A are B".