But the IAU opted to go with the second and third choices, each of which received less than 100,000 votes, and the official names of P4 and P5 are now Kerberos and Styx, respectively.