Text this: Logic with trees: