I'm sorry, maybe I'm not following. What I wanted to know was under what circumstances in a K definition a RegexState would have a lookahead pattern. Are you saying that feature is currently not required by any features of K, or that the current implementation doesn't do this because you will be implementing a step later that adds lookahead patterns to certain RegexStates?