GEO-G.CO.12: Make, justify, and apply formal geometric constructions.