Can a Teen's Idea to Switch Fonts Save the Government $400 Million?