 Smooth horizontal reachability in the real Heisenberg group

Every point $(P_x,P_y,P_z)$ can be reached from the identity by a smooth curve tangent to the Heisenberg horizontal distribution. Put $a=2(P_z-P_x{P}_y/2+P_x)$ and chooseTheir integrals give $x(1)=P_x$, $y(1)=P_y$, and $z(1)={\int }_0^{1}x(t)\beta (t)dt=P_x{P}_y/2-P_x+a/2=P_z$. The third coordinate measures the effect of the noncommuting horizontal directions; integrability would instead confine horizontal curves to a two-dimensional leaf.