Exercises from the def_shef meetings