A deleter