incr() and decr() were in fact not functionally equivalent in this example.  Now they are.