New version of Exercise 08 by CZF 3/14/13