nonexistence | Pump