Collaborations between Michael Lasker and Adam LeFevre