5.9.3 The procedure