This documentation is visually disorganized and difficult to parse. Please use actual mathematical symbols when attempting a proof instead of using ASCII art equivalents. The codebase is much easier to read, which might be problematic if you’re trying to get non-coders to look into this.