Deakstadieđáhus: Abstract inference