The subjects described in the course syllabus mastered, the proof techniques are understood and students are able to use them in different proof and courses.