Define case sum(leaf(n)) = n case sum(nonleaf(x,y)) = sum(x) + sum(y) %Define