let exists_but i p =
  let p' j = if i <> j then p j else true in
    exists p'