Sphere' and 'includes' thus receive contextual definition in terms exclusively of logic, for any state ment containing one or both of those expressions is construed by the definition as an abbreviation of a statement containing only logical ex pressions lus whatever expressions the original statement may have contained oth than 'sphere' and 'includes.