Section Diagram

Here we diagram our correspondences from original paragraphs to applicable statements S1 to S10.

DOT strict digraph node [shape=box style=filled] node [fillcolor=palegreen] HERE NODE WHERE /\[\[S\d+\]\]/ node [fillcolor=lightblue] LINKS HERE -> NODE HERE NODE WHERE /^Subset/ node [fillcolor=bisque] LINKS HERE -> NODE