The last pages finally got declassified, and there’s quite a bit of involvement.

Advertisements