General conditional proof

In symbolic logic, a valid inference in a system of quantifier rules. From the assumption that an individually named thing has a specific property, an inference is drawn that that samething has another property. The subproof is exited (discharged) in the same was as is a Conditional proof or Conditional introduction but to the universally quantified statement.