Text this: Intellectics and Computational Logic :