It is not the case that If substitutional validity under unrestricted term-substitution extensionally coincides with all valid inferences, positing additional criteria adds no explanatory power.
?Set your confidence on the premises below to see your aggregate.