Checking the correctness of reductions