File:Introduction to circles.ggb