Deakstadieđáhus: The elements of logic/