weak-order public under preorder 8 List Picture As a command %3 n0 weak-order n2 total-order n0->n2 n1 preorder n1->n0