/ProofsGroupsExercises2 - exercises (add your own)
/ProofsGroupsExercises3
/ProofsGroupsExercises4
/ProofsGroupAdvice - advice about writing proofs