[ 2017-02 in Kona, LEWG recommends NAD ]

Has been clarified by 14. By design. Ranges might make it go away. Current wording for input iterators is more constrained.