 both have lost their oceans. But as you move out into the outer solar system, you know, you talk about Europa, but Enceladus also has oceans under its surface. Titan seems to have oceans under its surface. There's some talk that Pluto does. There's moons around Uranus and Neptune that are ocean worlds like that, and they're worlds that have...