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

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

    | (False,False-> False