Collaborations between Marek Jenicek and Ondrej Malý