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
Discovery and exploration of the Solar System Domenico Cassini later discovered four more moons of Saturn and the Cassini division in Saturn's rings. Edmond Halley realised in 1705 that repeated sightings of a comet were recording the same object, returning regularly once every 75–76 years. This was the first evidence that anything other than the planets orbited the Sun. Around this time (1704), the term "Solar System" first appeared in English. In 1781, William Herschel was looking for binary stars in the constellation of Taurus when he observed what he thought was a new comet. Its orbit revealed that it was a new planet, Uranus, the first