Geodetically Convex Sets in the Heisenberg Group

We prove that the geodetic envelope of a subset of the Heisenberg group containing three points not lying on the same geodesic is the whole group. As a corollary, we obtain that a function on the group which is convex along geodesics must be constant