Exercise "Auxiliary Example, part 2: Avoiding redundant entries "