3 ms·

I know someone who went to high school with Kripke, who told me that at that age he apparently was doing classified work for the military.