Revert "Example 7.3"

This reverts commit 80ace7684e6b1d5a94d1377c40eb338de687f3d7.