groupLaws
BaseProperties
groupLawsEq
BaseProperties