☝️ Most Formal Systems Have Unwritten Rules