Added a definition for the default comparator, and clarified the non-modification assertion.