Deakstadieđáhus: Ways of proof theory