Finished the section on restriction; uses the appendix.

Working on the section on Langlands parameters.