A rough calculus approach to level sets in the Heisenberg group. - Valentino Magnani; Eugene Stepanov; Dario Trevisan (J. Lond. Math. Soc., 2018)