I wanted to preserve the property that pp points to the first divergent entry.