Groupoid Laws added