Deakstadieđáhus: Dynamic Formal Epistemology