let next is_strong a =
  if is_strong then
    Next a
  else
    not_ (Next (not_ a))