Deakstadieđáhus: Logic for applications /