User blog comment:Vel!/Second-order arithmetic/@comment-25601061-20150922232849

Why circle other circles into circles? What does that mean?