This is right when `a` is positive.