Nanopositioning Metrology, Gödel, and Bootstraps | Not Hacker News!