let or_ a b =
  not_ (and_ (not_ a) (not_ b))