[PD-dev] state-saving / properties in abstractions...