Deakstadieđáhus: First-order logic