Deakstadieđáhus: Model theory: