TIL Carl Jung was an undercover operative (“Agent 488”) for the allies during World War 2. His commanding officer Allen W. Dulles said that “Nobody will probably ever know how much Prof Jung contributed to the allied cause during the war." Dulles later became the first director of the CIA.