Collaborations between Peter Kovarcík and Jirí Mádl