The Lusin theorem and horizontal graphs in the Heisenberg group - Piotr Hajlasz; Jacob Mirra (2013)