let bool3or c1 c2 = 
  match (c1,c2) with
    | (True,_)     
    | (_,True-> True    

    | (_,Undefined)
    | (Undefined,_) -> Undefined

    | (_,_) -> False