and exomoons—very large moons outside our solar system—specifically. The astronomy community had decided that, in theory, if a planet’s moon is big enough, it could have a sub-moon of its own.