rsetti: more ex1 examples