+ Impl of destr