 Shifting examples but not philosophical research program, Suárez and Cartwright (2008) explains how analogies such as superconductors as diamagnets (as opposed to ferromagnets) were an integral part of the mathematical model of superconductivity developed by Fritz and Heinz London in the 1930s (63; cf. London and London 1935). Suárez and Cartwright gladly accept that this model “is uncontroversially grounded in classic electromagnetic theory” (64). However, contra Semantic View Structuralists such as Bueno, da Costa, French, and Ladyman, they view nonformal aspects as essential to practices of scientific modeling and theorizing: “The analogy [of diamagnets] helps us to understand how the Londons work with their model… which assumptions they add and which not… a formal reconstruction of the model on its own cannot help us to understand that” (69). In short, the running example of Newtonian mechanics, in conjunction with a glimpse into the use of analogies in mathematical modeling, illustrates the Pragmatic View’s account of theory syntax: theory is constituted by a plurality of formal and informal components.