Logic Theorist (Logic) - Pump