Collaborations between Marek Jenicek and Krystof Hádek