Deakstadieđáhus: Proving the unprovable