let p = ref Partition.empty