In the reduction rule. Since there exists a sunflower, then it has to be reduced. The reduction happens by subtracting the sunflower but keeping its core. How does this subt