msc-patryk-bartkowiak/abstract.tex