Circle (Extended Version)

Circle (Extended Version)