Text this: Computer-aided reasoning :