Final version of Ex. 5.2