This is now a paper.