Formal models. core calculi. and type systems. are important tools for rigorously stating the more subtle details of a language. https://macorners.shop/product-category/christmas-tree-skirt/