It seems like an elegant addition to the understanding.

Maybe if you viewed an animation where `a` starts larger than `b`, and steps till it's smaller.

Then you could see where the negativity happens. And seeing is nice.