Text this: Logic and elementary proving methods