Deakstadieđáhus: Proofs and refutations/