diego (FOL) - Pump