Loading paper
Monoid Valuations and Value Ordered Supervaluations | Tomesphere