SMS: Exercises in set theory