A number of mathematicians work for the government