https://technology-times.com/posts/20261109-formalizing-cpython/