MATH 239: added some defns that weren't formally defined(?).