On 9/20/2019 5:17 AM, Timon Gehr wrote: > It was in private emails. I'll try to create a self-contained write-up for > general consumption next week, I have a paper deadline on Wednesday. Thank you, that'll be good! Post it here when ready.