strict-order public under antisymmetric-relation 7, transitive-relation 11 List Picture As a command Nothing is filed under strict-order.