Deakstadieđáhus: Data Refinement Refined