Collaborations between Alex HarDrum and Olga Proshkina