#11: deleting unused