Sagan was among the first to guess that Titan and Jupiter's moon Europa might have oceans or lakes, which means that life could be there. Europa's underground ocean was later confirmed by the spacecraft Galileo.