In the underground city of Neverwhere, GDP is $15 trillion, consumption is $10 trillion, and government spending is $2.5 trillion. Taxes are $1 trillion and the net capital inflow is $0.5 trillion. Total savings for the economy of Neverwhere is $_____ trillion.