Addender

Astrologers are going to have a dickens of a time once we start grinding up stars, won't they? They could lobby to avoid the relevant stars, but those are surely the best ones going by their mystical significance.