Arb
BaseLaws
GroupLaws
OrderLaws
apply
BaseLaws
GroupLaws
OrderLaws
associativity
Rules