remaining admits in groupoid.v