ParentFull threadY_Y·I've seen this construction before. It's very cool, but I don't think it's novel. In any case it's a cool article and it must be great for a couple of young students to present to the AMS.View on HN