Solving exercises for SSReflect tutorial from Sept 2010