Text this: An hypervaluation of a ring onto a totally ordered non-cancellative semigroup without zero divisors