Partitioning tools