Situation: The MongoDB documentation for ObjectIds says "ObjectIds are small, likely unique, fast to generate, and ordered."