Collaborations between Pavel Muller and Ales Brezina