Equ
BaseLaws
GroupLaws
RingLaws
emptyProperties
Laws
euclideanRing
RingLaws