Tests updated after a better understanding of example 7.