edits to eliminateBetti, still does not work