Abstract
We propose a direct method to control the first-order fractional difference quotients of solutions to quasilinear subelliptic equations in the Heisenberg group. In this way we implement iteration methods on fractional difference quotients to obtain weak differentiability in the
T-direction and then second-order weak differentiability in the horizontal directions.