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