A counter-point on procedural generation; Elite Dangerous did the same, but it worked. e.g. Watching a ringed planet eclipse a pulsar was awe inspiring. It had countless incredible combinations of procedurally generated stars & planets you could discover.