On Friday, 16 August 2013 at 14:15:50 UTC, H. S. Teoh wrote: > I would do it myself, except that after reading Kenji's notes > on #10803 > I'm no longer so sure I understand it myself. :-/ +1 :D