Exercises about enumerability