First AI In World Logic Theorist (THEORIST) - Pump