he uses star catalogs and also procedural generation to reproduce the universe