On Thu, 11 Jul 2019 at 02:20, Richard Smith via SG15
<sg15@lists.isocpp.org> wrote:
> OK! Shall we plan to coauthor a paper for the post-Cologne mailing, with the intent of filing an NB comment to make this change, or failing that, trying to resolve it as a DR? (We could also see if Ville is prepared to lend us some EWG time at Cologne, but I wouldn't bet on it.)

I make only bets that I win, or bets that I deliberately lose. Bring
that paper to me on Tuesday, before we discuss Standard Library Header
Units.