Text this: Reasoning and formal logic :