Keep a local predicate private.

Add todo list to top of module comment.