בעיה, שום סרבר לא נבחר