Update introductory comments.
Rename nums to one-to.
Resolve conflict by using funs.