Axo is a decentralized trading protocol based on the novel concept of trade-complete algebra, which allows for the mathematical expression of any financial behavior. The systematic application of trade-complete algebra into computer code resulted in the development of xlang, a programming language enabling dev to express any financial contract but not execute any arbitrary code. This financial flexibility is termed by Axo as “trading complete,” as opposed to “Turing complete,” which means a system that can run any program if given enough time and resources.