Comment by grp000

That's a good point. For more complex topics, the act of verifying correctness is also more complex. I think it's a fair tradeoff though. A more powerful tool also requires more work to use CORRECTLY. Now, whether people will actually put in due diligence is another matter.