It was remarked that, granted the fitness of Hunting ton's postulates, a statement will be a truth of geometry if and only if it is logically deducible from 'Hunt sphere, includes without regard to the meanings of 'sphere' and 'include.