import scas.power.Lexicographic
import scas.base.
import .given

val m = Lexicographic(0)("x")
val x = m.generators
import m.given

assert(x > 1)
assert(1 < x)
assert(1 | x)
assert(x * 1 >< 1 * x)
assert(x * x >< x2)