Seeing your writing inspires the possibility that all significant social processes can have their most critical elements be explicitly written in some form of symbolic language (likely English + additional symbols from math, logic, graphs, etc.). I wonder if there are books or people working on that topic?