Formalize Circle