https://events.pythonprogramminghelp.com/behind-the-scenes-of-a-formal-semantics/