I don't want to get into any more discussion about this. I know exactly what I'm doing. Because I blocked googlebot with robots.txt, it's never crawled the page. Therefore, it's never seen the noindex tag. If in the unlikely event the robots.txt is accidentally deleted in the future, then googlebot will crawl the page and see the noindex tag. That could happen in the future, though unlikely, but even if it does, the noindex tag will still prevent the page from being indexed even then. That's what I meant by insurance.