Collaborations between Erik Lakatos and Klára Muhi