something something IU->Galois->UBC
(I'm a PhD student at UBC studying weird connections between mutable references and type universes)