Automatic uncertainty analysis and Quiet Doubt