For 'sphere' and 'includes' we might then adopt the following contextual definiti Where is any statement containing 'a or 'R' or both, let the statement 'If a is any class and any relation such that Hunt (a, R), then be a bbreviated as that expression which is got from by putting 'sphere' for 'a' and 'includes' fo throughout.