Well, ignore my previous comment about `op/2`, it looks like negative increments are handled in the quickcheck property.