Suppose GDP is $15 trillion, with $8 trillion coming from consumption, $2.5 trillion coming from gross investment, $3.5 trillion coming from government expenditures, and $1 trillion coming from net exports. Also suppose that across the whole economy, personal income is $12 trillion. If the government collects $1.5 trillion in personal taxes, then disposable income will be: