Substitutionalism is the claim that all objectual quantification is substitutional quantification. The strong variant claims that some substitutional quantification is not objectual quantification.