Add 1.5.4 example and exercise 1-12.