while (a < b and
       b >= c)