1 2 3 4 5 6
# 2020-09-10:s5/net/mm1/noter/1 #945f/G Total order is when all nodes can be said to be bigger than another. TODO: Include the notes from #8992/P here.