Reasoning from first principles (RFFP) - Pump