There's also a revenue side to the deficit.