Collaborations between Andrei Shen and Tim Minchin