Also, if you think in term of mathematical proofs, they're based on mathematical laws, postulates, etc. (logic). So it might help if certain constants could be defined as a baseline, foundational knowledge (JFK, FED, Gulf of Tonkin, MK Ultra etc. all the already declassified stuff)