The Internal Revenue Service’s headquarters in Washington, D.C., in 2016.