There has been much speculation about the divorce from the European Union and about how much money would need to be paid in the process. I am afraid that I am going to disagree with my hon. Friend Mr Rees-Mogg on this point. Since we joined the EEC in 1973, we have paid in £184 billion. That is the net contribution—the actual amount that we have paid in after taking into account any money that we got back. When people get a divorce, do they not split the net amount in two? That would mean that £92 billion should be paid back to us. Did the Prime Minister have a chance to bring that up at the summit?