Sure. First of all, right now as we can see, Paul, today, we'll have, starting in Q4, I believe, begin to grow the Financial Services business yet again on the order book side of things. And, hence, improve our backlog position a bit going into 2014. By the way, our order book outside of North America is actually okay in this business. And the return to growth will come from seeing improvement in North America, particularly the U.S. Branch transformation will play a key role. In that, we had a good quarter in Q2, solid growth as we noted on Slide 5. And by the way, that's sequential growth over Q1, not year-on-year in that business. We're on track to hit the targets we have given you before in that business of around $80 million to $100 million in revenue this year. And I suspect 2014 is a move from, if you will, pilots to production for a number of our customers. And I suspect that in 2014, that business will grow to about $200 million in total revenue right now. Now, it could be a somewhat less than that or more than that, depending upon what happens the next 5 months, relative to some of these pilots we have going on. But again, I'm very encouraged with what I see there going into 2014 and '15.
Paul Coster - JP Morgan Chase & Co, Research Division: My impression on talking to the Chase guys is that we're moving beyond pilots to, actually, implementation now. But I still don't quite know how to connect that to NCR's prospects. Can you give us some sense of what the real revenue items are for you that kind of derive from branch transformation? Is it a complete overhaul? Is it 1 in 10 terminals? Is it a higher value terminal, et cetera?