Groups vs. groupoids (Pat Donaly)