P.S. (In case you return once more to read comments.) It seems like these are problems that could benefit from a PL-theory <-> mathematical analysis cross-coll

P.S. (In case you return once more to read comments.) It seems like these are problems that could benefit from a PL-theory <-> mathematical analysis cross-collaboration. I would have sent you a private message via email, but couldn't find any info on your HN profile; my email is there.