(* 24.1 *) 
 
(* 24.2 *)