Chapter 6-1-3: Stating Argumentative Thesis Statements as Formulae