reesclos.lib
constant ReesAlgebra
constant ClosureRees
constant ClosurePower
constant normalI