Det är det sorgliga val,