A lower bound for the a.e. behaviour of Hausdorff dimension under vertical projections in the Heisenberg group - Terence L. J. Harris (2018)