Add covering lemmas and intro to Hausdorff measure