let never a =
  always (not_ a)