Deakstadieđáhus: Logic with trees