On 9/19/2019 6:17 PM, Timon Gehr wrote: > Anyway, I have actually done this but you just ignored the > explanation and went back to claiming that my suggestions do not meet this > requirement. If you can link to your proposal, polished or not, that would be helpful.