Tom Lehrer satirized the national security state from the inside