let fold p f z acc = 
  let f' x (y, rho)= 
    f (Fact.Equal.make x y rho)
  in
  let (z, _) = V.find p.v z in
    acc