[WP] Not everything that is true can be proven. This discovery transformed infinity, changed the course of a world war, and led to the modern computer. But after years of work, you've found that something that has long been proven theoretically is true. Your cat Schrodinger now wants a new box...