Is `k < 0` really the right condition? I am thinking no, but could be wrong (and if it is, that is somewhat confusing).