Also note that `dev_dx` maybe negative.