es34 
 
 
 
                         Zeta,n |- b1 --> #f, Zeta
    Zeta,n |- (cond (b2 e2)...(bn en) (else en+1)) --> v, Zeta
-----------------------------------------------------------------------
        Zeta,n |- (cond (b1 e1)...(bn en) (else en+1)) --> v, Zeta
 
  
 
        Zeta,n |- b1 --> v'  v' /= #f     Zeta,n |- e1 --> v, Zeta
-----------------------------------------------------------------------
        Zeta,n |- (cond (b1 e1)...(bn en) (else en+1)) --> v, Zeta
 
 
                          Zeta,n |- e --> v, Zeta  
-----------------------------------------------------------------------
                      Zeta,n |- (cond (else e)) --> v, Zeta