∂ part of node [[edsger-dijkstra]]