Deakstadieđáhus: Logical papers: