conservative groupoid stuff