Circles
2 - Resources for transition Abstract to Formal