[auggierose]

You can infer from this how Artificial Intelligence and Logic should be combined: AI enables a "post-rigorous" mode, and Logic is how you know you are still doing something sensible, and how you expand your sure footing.