Collaborations between Dimitri Leonidas and Jeremy Zimmermann