{"Splash0" -> "The Splash Program of Figure 3.1, computing $z_0$.", 
 "Splash" -> "The Splash Program of Figure 1.1, computing $z_1$."}
