 Lange’s argument has been also contested in several recent articles such as Hoeltje et al. 2013, Baldwin 2016, and Dougherty 2017. Hoeltje et al. reject what they see as an unacknowledged assumption in Lange’s argument, namely that a universal sentence explains its instances. Baldwin offers positive considerations as to why inductive arguments are explanatory and he also focuses his criticisms of Lange’s argument on the latter’s assumption that an instance of a universal generalization cannot help explain the universal generalization. Dougherty’s line of attack is based on Lange’s need to presuppose a problematic notion of identity of proofs, which he questions using an alternative criterion of identity spelled out using two equivalent characterizations (the first appealing to the language of homotopy type theory and the second using algebraic representatives to proofs).