Implement destroyWith via @ronen