Spectrum (CLRS) - Pump