Text this: Demonstration and Logical Truth/