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

    | (_,False)
    | (False,_) -> False

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