Yea if only someone had been making correctness machines for the last 100 years or so we could lean on to help ai somehow