Tags: 3.NF.1, proportional, Australian topology, 7.EE.3, circle circumference,