If substitutional validity under unrestricted term-substitution extensionally coincides with all val...