Boolos_Curious_Inference_Automated.Boolos_Curious_Inference_Automated