# 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.