Students learn the free groups of finite rank and infinite rank, lower and upper central series, finitely generated groups, finitely presented groups, existentially closed groups. We expect they to use the proof techniques learn in the course, and they should be able to them in other subjects and courses.