Lecture 9 (Logic) Theorems of Logic and Group Theory