Text this: Logic and Proof