(* 12.1 *) 
 
(* 12.2 *) 
 
(* 12.3 *) 
 
(* 12.4 *) 
 
(* 12.5 *)