Deakstadieđáhus: Formal semantics: the essential readings