dead stars, professor grubdust, theorem, astronomy