Moons of Mars formed a large moon. Gravitational interactions between this moon and the outer ring formed Phobos and Deimos. Later, the large moon crashed into Mars, but the two small moons remained in orbit. This theory agrees with the fine-grained surface of the moons and their high porosity. The outer disk would create fine-grained material. While many Martian probes provided images and other data about Phobos and Deimos, only few were dedicated to these satellites and intended to perform a flyby or landing on the surface. Two probes under the Soviet Phobos program were successfully launched in 1988, but neither conducted the
Moons of Uranus to be responsible for the heating that caused substantial endogenic activity on Miranda and Ariel. One piece of evidence for such a past resonance is Miranda's unusually high orbital inclination (4.34°) for a body so close to the planet. The largest Uranian moons may be internally differentiated, with rocky cores at their centers surrounded by ice mantles. Titania and Oberon may harbor liquid water oceans at the core/mantle boundary. The major moons of Uranus are airless bodies. For instance, Titania was shown to possess no atmosphere at a pressure larger than 10–20 nanobar. The path of the Sun in the