an ordinary rule of inference applies through a particular subproof of the structured proof if and only if there's an instance of the rule in which all of the premises occur earlier in the subproof where in some super proof of that subproof.