Refreshment of exercise 1