Text this: Lie groups and subsemigroups with surjective exponential function /