For the past ten years, in collaboration with many mathematicians but in particular Sorina
Ionica and Kristin Lauter, I have worked on the problem of constructing exact models for …