Geometric Reasoning about a Circle Problem