Comment Comment by dumitrue Just went out: http://arxiv.org/abs/1411.4555 parent dumitrue 12 years ago