In case a reversed, strictly monotonically decreasing, sequence is produced the test should still pass. That is *OK*, I think.. After all, it should fail only if the sequence is strictly monotonically increasing.