epsilon one plus
a string loop back less string head
___