addus(A, B) and subus(A, B)/subus(B, A) are not in top-to-bottom mirror-image positions of each other .. what can I say, it just is that way. Even avg_down(A, B) (or avg_up which I didn't include) is sometimes less than subus(A, B)