The structures of a kind of algebras which contain left zero-divisors are characterized, and the problem advanced in Wu Pinshan's work ls solved.

You've left off a zero.

The sum of an empty tree is zero, and the sum of other trees is the sum of the left tree plus the value of the Integer plus the sum of the right tree.