Stav dette: Logic With Trees: