Adding L.S. changes till Heisenberg group definition