And even that was not declassified, in the normal sense. Documents were burgled by patriots and released to the public.