and Voltaire who predicted the presence of Martian moons. Phobos All features on Phobos are named after scientists involved with the discovery, dynamics, or properties of the Martian satellites or people and places from Jonathan Swift's Gulliver's Travels. Satellites of Jupiter Amalthea People and places associated with the Amalthea myth Thebe Features on Thebe are named after people and places associated with the Thebe myth. There is only one named feature on Thebe Zethus Crater. Io Europa Ganymede Callisto Satellites of Saturn Janus People from myth of Castor and Pollux (twins) Epimetheus People from myth of Castor and Pollux (twins) Mimas People and places from Malory's Le Morte d'Arthur legends (Baines translation) Enceladus People and places from Burton's Arabian Nights Tethys People and places from Homer's Odyssey Dione Locations from Roman mythology, or people and places from Virgil's Aeneid Rhea People and places from creation myths Titan Hyperion Sun and Moon deities Iapetus People and places from Sayers' translation of Chanson de Roland; the only exception is Cassini Regio, which is named after its discoverer, Giovanni Cassini. Phoebe Satellites of Uranus Satellites of Uranus are named for characters from the works of William Shakespeare. Puck Mischievous (Pucklike) spirits (class) Miranda Characters, places from Shakespeare's plays Ariel Light spirits (individual and class) Umbriel Dark spirits (individual) Titania Female Shakespearean characters, places Oberon Shakespearean tragic heroes and places Small satellites There are currently no named features on Uranian small satellites, however the naming convention is heroines from plays by Shakespeare and Pope. Satellites of Neptune Proteus Features on Proteus are to be named after water-related spirits, gods or goddesses who are neither Greek nor Roman. The only named feature on Proteus is crater Pharos. Triton Geological features on Triton should be assigned aquatic names, excluding those which are Roman and Greek in origin. Possible themes for individual descriptor terms include worldwide aquatic spirits, famous terrestrial fountains or fountain locations, terrestrial aquatic features, famous terrestrial geysers or geyser locations and terrestrial islands. Nereid There are currently no named features on Nereid. When features are discovered, they are to be named after individual nereids. Small satellites Features on other satellites of Neptune, once discovered, should be named after gods and goddesses associated with Neptune/Poseidon mythology or generic mythological aquatic beings. Pluto and satellites In February 2017, the IAU approved the following themes for surface features on Pluto and its satellites: Pluto Gods, goddesses, and