Deakstadieđáhus: Logical framework :