Deakstadieđáhus: The correspondence theory of truth