Finish off group laws