Then, where I sphere, includes is a of the theorems, similarly ex panded into primitive terms, the point of view under consideration is that I sphere, includes insofar as it is conceived as a mathematical truth, is to be construed as an ellipsis for If Hunt (sphere, includes) then I sphere, includes.