formal generalized iterators working, gets correct answer, still fixing K algorithm