Comment Comment by jacobolus You might enjoy https://arxiv.org/abs/1205.5935 parent jacobolus 8 years ago