Edited example 17 and finished example 18.