Simmons-Pump-AG-proof