Hi @dalilapando, I think the final rule is giving us a relationship between F and S, and the only rule we have about P is that it is before G, which is the only rule about G. Sometimes there will be deductions that are not apparent from the rules immediately.
