Ex. 7.6 implemented.