From: jon.gallagher.04@gmail.com   
      
   Thank you.  Yes, it is the operational semantics for a language of   
   booleans and arithmetic expressions.   
      
   I agree that if then else can be made self evident, but why then   
   define the evaluation rule with phrase t3 ---> t2 under "else"   
      
   if true then t2 else t3 ---> t2.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)