Why there's a NOT in the test part and no incrementation in the incrementation part of the “for” loop of free() in 8.7 of K&R?

Question

This is the "for" loop in the free() function on p.188 of K&R:

for (p = freep; !(bp > p && bp < p->s.ptr); p = p->s.ptr)
  i