true/circles-chord-half-of-side-ex98.ggb