Text this: A computational logic /