lamport (LAMPORT) - Pump