 On 2 July 2013, the IAU announced that it formally approved the names Kerberos for P4 and Styx for P5.The names of features on the bodies in the Pluto system are related to mythology and the literature and history of exploration.In particular, the names of features on Kerberos must be related to dogs from literature, mythology and history.