pavel.surynek@mff.cuni.cz