/a+/
The branch point:
Go on to the next thing, or
Go back and try another a
Tom
START |T o m a |T o m Nope START T|o m a T|o m Nope START T o|m a T o|m Nope START T o m| a T o m| Nope
Out of alternatives---match fails.
