(7.6.6) Example