Collaborations between Paul Hartnoll and Jeremy Zimmermann