Automated Reasoning Aws