Question: forgive my ignorance, but why is it called "preorder" and not just "order"? What is the significance of the "pre"?