because we can batch check downward