HS.G.8.a: Make formal geometric constructions with a variety of tools and methods.