regions: a region that rests on a window test cannot bound the guaranteed window