Create introductory slide
Make Examples sections subsections, also Contracts section
Fill Summary slide
Make Bob listings occupy all equally sized space
Refactor RHTT slide