Elaborate erased PPi to erased Pi.