post
  analysis: result ∀ (x -> !(p x))
  analysis: {
    n := nth result.count
    !n || p n.or_panic
  }