How do we know other galaxies exist?