It should not be difficult to come up with a canonical set of primitive operations for all the known operations of a doubly linked list. Because our traversal depends on having pointers to two nodes, ...