Footnotes

 

(1)

Note that here we are representing sets of nodes as lists sorted alphabetically.