[ 2017-02-24, Daniel comments ]
I suggest to apply the paper d0604r0 instead, available on the Kona LWG wiki.