What It’s Like to Work for the AWS Automated Reasoning Group