Before revision: A prefetch operation is redundant if the data-block brought by it is already present in cache .
After revision: A prefetch operation is redundant if the data-block brought by it is already present in cache