finish elaborating eliminators