Michal Rudolf <mrudolf@mercury.ci.uw.edu.pl>
