In particular, as in standard Lie theory, for any s-connected Lie groupoid G there is a unique (up to isomorphism) s-simply connected Lie groupoid G ~ ~ with the same Lie algebroid of G , and a local diffeomorphism G ~ ~ → → G which is a groupoid morphism. For instance,