Finished example 12.3
Finished example 12.4