let for_all_but i p =
  let p' j = if i <> j then p j else true in
    for_all p'