(c) For each restriction r inserted into T', invoke the operation REDUCE(T", r). If any reduce operation fails, go to Step 4a.