del: redundant, removed