Completed Groupoid algebra.
Added laws.