"holonomy groupoid" . . . "holonomy groupoid" .