But if, as a truth of mathematics, I sphere, include is short for 'If Hunt sphere, includes) then I sphere, include still there remains, as part of this expanded statement, the original statement (sphere, in cludes '; this remains as a presumably true statement within some body of doctrine, say for the moment on mathematical geometry, even if the title of mathematical truth be restricted to the entire hypothetical statement in question.