Y así es que son nueve los electores.