Add 'Main result' slide.
Clarify decision value.
Add Lemma 1 and stub picture by proof.
Add Lemma 2 and 3.