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