First part of the Follow1's.

Now, need to replace all the "first" and "follow" by the appropriate tokens.