let not_ a =
  Not a