Re: [PD] Saving abstraction states?