Det finnes visserligen ännu ett val,