 In the first category, we find for instance Gardner and Wiegandt, who argue that if one requires all rings to have a 1, then some consequences include the lack of existence of infinite direct sums of rings, and the fact that proper direct summands of rings are not subrings.They conclude that "in many, maybe most, branches of ring theory the requirement of the existence of a unity element is not sensible, and therefore unacceptable.