https://123dok.net/document/qvl12jjl-geometry-osculating-nilpotent-group-structures-heisenberg-calculus.html