Maybe I&#x27;m just tired &amp; not able to detect sarcasm right now, but isn&#x27;t 2^80 bytes more bytes than are currently stored in the world? That&#x27;s on the order of 10^24, which is something like 1 million exabytes, which is a million squared terabytes, right?