Collaborations between Robert Portal and Krystof Hádek