Page 471, footnote 33 is wrong.

Non-compatability does not imply that the path set is empty.

Traversal spec:
(A B) (B C) (A D) (D C)
Class graph:
(A B) (A D) (D C)
=================