This is a more complete example reduction proof involving directedand undirected Hamiltonian cycles than the example in the text.
--Allen