let d_of s = Partition.d_of s.p