Corrected Eq and Arb instance names for the group in ActionLaws.