Loading paper
Extended partial order and applications to tensor products | Tomesphere