The first was to include geometry in logic by construing geometrical truths as elliptical for hypothetical statements bearing 'Hunt (sphere, includes as hypothesis; this was seen to be a mere evasion, tan tamount, under its verbal disguise, to the concession that geometry is not logic after all.