Collaborations between Marek Jenicek and Tereza Ramba