unrolling CheckWithin