what if we retired off a coin? (a) - Pump