This class completes the exercise on writing economical propositions. It then surveys the categories of philosophical grammar and the hierarchy of propositions. This lays the foundation for the topic of inference. The distinction between soundness and validity of inferences is presented, and the role of implicit premises in inference is discussed.