User blog comment:Syst3ms/Stellar OCF Formalization/@comment-36984051-20190829161958

Good work defining such a powerful notation!