let and_ a b =
  And (a, b)