if (not B) {
   A 
} else {
   if (E and F) {   
      C and D
   } else {         
      undef
   }
}