Michal

What I see: adding figure, reverting second part of Lemma 21 and
connected stuff, some reformulations and fixes.