Proposed resolution:

This wording is relative to N3936.

1. In [iterator.iterators] Table 106 "Iterator requirements" change as indicated:

   Table 106 — Iterator requirements

   Expression	Return type	Operational semantics	Assertion/note pre-/post-condition
   *r	referenceunspecified		pre: r is dereferenceable.
   …

2. In [input.iterators] Table 107 "Input iterator requirements" change as indicated:

   Table 107 — Input iterator requirements (in addition to Iterator)

   Expression	Return type	Operational semantics	Assertion/note pre-/post-condition
   …
   *a	reference, convertible to T		[…]
   …