Logic Theorist (First AI) (LOGIC) - Pump