GROK'S NAME (Heinlein) - Pump