Text this: Computer-Aided Reasoning :