linear-extension public under total-order 3 List Picture As a command %3 n0 linear-extension n1 total-order n1->n0