let c s a =
  let lookup k =
    fst(Partition.c s.p k)
  in
    sign lookup a