Deakstadieđáhus: The theory of valuations