Text this: Logic with trees