The Fundamental and Rigidity Theorems for Pseudohermitian Submanifolds in the Heisenberg Groups. JMS. 2021;54(1):1-27. doi:10.4208/jms.v54n1.21.01