“…The notions of similarity and equality can be traced back to antiquity, but Leibniz seems to have been the first to formulate a general notion of “similarity.” Hence, the general thesis that all equal and similar things are congruent seems to be originally Leibniz's. For discussion, see Rusnock and George (1995), Sutherland (2005), and the present author's (2005). 7 Inquiry Concerning the Distinctness of the Principles of Natural Theology and Morality (in Kant, 1992), 2: 275–301, relevant passages in 2: 276 f. 8 For a further discussion, see Jong (1995), and the present author's (2005). 9 For discussion, see the essays mentioned in endnotes 4 and 5 above. 10 On Kant's early uses of Leibniz's relational view of space, and his attempts to reconcile it with Newtonian science, see Torretti (1967, part I), and Friedman (1992, introduction). 11 De Mundi Sensibilis atque Intelligibilis Forma et Principiis , 2: 385–419 (English translation in Kant, 1992). 12 (English translation taken from Kant, 2002.)…”