The Internal Revenue Service headquarters building in Washington.