Post #2103978

@constantine Let's chat about it! I have a TYPES submission on my approach, but I still need to do some work before I put confident math statements on the public internet.