Document the process by which forward ancestors can be enumerated