(destroyed) to make even his name erased; —