Light from Dead Stars: The Procedural Adequate and Independent State Ground Reconsidered