“…The second possibility has more than one problem, but the worst is that even infeasible du-associations could be validated. Here, the trace stored for P's single region would be {10,11,12} and for M's would be {5,6,7}, implying that (6,11), (7,11), (6,12), and (7,12) have been covered. Yet two of these- (7,11) and (6,12)-are infeasible, because j cannot be both less and greater than 3.…”