Worked on Certora/Documentation to enhance clarity and accuracy in technical documentation over a two-month period. Focused on improving the explanation of the modulo operator by updating Markdown files to explicitly state that the operator returns non-negative values, aligning documentation with Solidity’s unsigned modulo semantics. This change reduced ambiguity for developers analyzing smart contracts and improved onboarding by making operator behavior predictable. Additionally, addressed a documentation bug by correcting the DISPATCHER optimistic option syntax in methods.md, adding a missing backtick to clarify API usage. Demonstrated attention to detail and consistency in documentation practices, primarily utilizing Markdown and documentation skills.