condition in my :While replacement must be negated