Every noun in Nock can be thought of as a tree, which means we can give an exact number to access any position in the tree:
1 ^ 2 3 ^ ^ 4 5 6 7 ^ 14 15
A valid Nock formula is always a cell. If the head of the formula is a cell, Nock treats both head and tail as formulas, resolves each against the subject, and produces the cell of their products. In other words, the Lisp program (cons x y) becomes the Nock formula [x y].
DOT strict digraph rankdir=LR node [style=filled fillcolor=lightyellow penwidth=3 color=black fontname="Helvetica"] HERE NODE node [style=filled fillcolor=lightblue] WHERE /^Next/ LINKS HERE -> NODE node [style=filled fillcolor=white] HERE NODE WHERE /^Next/ LINKS HERE -> NODE node [style=filled fillcolor=white penwidth=3 color=black] LINKS HERE -> NODE node [style=filled fillcolor=white penwidth=1 color=black] HERE NODE LINKS HERE -> NODE node [style="filled,rounded,dotted" fillcolor=white] edge [style=dotted] HERE NODE BACKLINKS NODE -> HERE STATIC strict digraph {rankdir=LR node [style=filled fillcolor=lightyellow penwidth=3 color=black fontname="Helvetica"] "Preview Next Diagram" node [style=filled fillcolor=lightblue] "Preview Next Diagram" -> "Next Page" node [style=filled fillcolor=white] node [style=filled fillcolor=white penwidth=3 color=black] "Preview Next Diagram" -> "First Link" "Preview Next Diagram" -> "Agile" "Preview Next Diagram" -> "Next Page" node [style=filled fillcolor=white penwidth=1 color=black] node [style=filled fillcolor=white penwidth=1 color=black] "Agile" "Agile" -> "Agile Experience" "Agile" -> "Agile Mindset" "Agile" -> "Agile Practices" "Agile" -> "Agile Paradigm" "Agile" -> "Agile Story" node [style=filled fillcolor=white penwidth=1 color=black]}