Collaborations between Gary Humphreys and Jeremy Zimmermann