Com S 342 meeting -*- Outline -*- meeting 1 * sugar-idea meeting 1-2 * logical-connectives * branching meeting 3 * local-binding * defines * summary