ObjectLifetime Specification