AI has submitted our official comment letter to the CFTC regarding the proposed rule on automated trading (Reg AT). We argue that many of the issues raised by the Commission can and must be addressed with formal verification. We draw comparison to similar issues in other safety critical industries and demonstrate how our product, Imandra, can significantly aide regulators and the industry in advancing safety and fairness of the financial markets. Please download the letter here or on the CFTC’s site.