[CG] Logic Syllabus