Text this: Artificial intelligence and symbolic computation :