Using the US Naval Observatory’s 26-inch (0.66-m) refractor, he discovered the two small satellites of Mars in 1877 August, at a particularly close opposition. He named them Deimos and Phobos, respectively, and from their orbits he calculated the mass of Mars. Hall also studied double stars, proving that the two components of 61 Cygni comprise a true binary system.