How Compaction Works in Pi