epsilon utter
us a string loop bound by ___