if a relationship can be specified at Check time, however, then none of the caching can be used, because there is no guarantee that the addition of that relationship hasn't fundamentally altered the result of any Check operation