Origin of the term tinfoil hat.