Remove an extra slash.
Back to footnotesize for bigpre.
Make the big figure fit in one page.
Update grammars and introduce a big example.