introduce right- and left-biased sums and correct the statement of the "sums are commutative" theorem