Aesthetic Integration develops Imandra™, the cloud-scale automated reasoning system bringing rigor and governance to the world's most critical algorithms. As our reliance on complex software grows, deep advances in AI are required to ensure the algorithms we rely on are safe, explainable and fair. Imandra's Reasoning as a Service™ platform is leading the way. In 2017 Imandra Inc. partnered with Goldman Sachs to help deliver the SIGMA X MTF Auction Book, a new orderbook venue implementing periodic auctions. Imandra Inc. used Imandra, our own automated reasoning engine, to formally model the Goldman Sachs design of the SIGMA X MTF Auction Book, verify its key properties, and automate rigorous testing. Now that the venue is live, Imandra is being used to perform ongoing validations of trading operations. Imandra Markets is a suite of AI-powered technologies and services for designing, implementing and analysing financial trading venues. It leverages the latest advances in automated reasoning and machine learning to usher in new era of client experience and governance in financial markets.