Finished the section on the syntax and reduction relation for freedom of
speech (#1).