How much disorder is there in a descending run?

In a previous article, I introduced a new measure of disorder that I called \(\mathit{Amp}\), and attempted to determine whether it was a measure of presortedness. While trying to formally prove each of the 5 axioms required for a measure of presortedness, I discovered a counterexample showing that my measure did not satisfy the 4th axiom: