Resolving to
Lumping Is Cheap: The Comparison Complexity of Nomenclatural Priority
…