Add 'Proof of main result' slides.