Collaborations between Petr Halícek and Jirí Mádl