A 2008 Quantum Conjecture Becomes a Theorem, Google Buys Wyoming, and Microsoft Leaves Oracle