Deakstadieđáhus: The Proof in the IMS pudding