MATH 239: reorganized some defns, added girth definition.