groupoid proof done