Grok's Elephant (ELEPHANT) - Pump