Text this: Logic: theoretical and applied