20 percent of 4 trillion = 800000000000