auto-assigned IDs are comparable