I'm afraid I don't have a good answer on that. I think at the end of the day how the government uses the surpluses ultimately comes from a judgment about priorities. I've talked about capital gains taxes and personal income taxes today, but I'm sure there'll be other people around the table who have different views.