[Moving paper to Darcs
simonpj@microsoft.com**20090624085714
 Ignore-this: 6583a812eef6ac92f8e91e7df7d22385
]