Almost complete

Need to figure out how to cleanly recursively purge PEs.
Indeed, PE's children don't know the State they're associated to, so we lack the key to purge them from states.