Via cxxeditor@: N3485 20.3.2 [pairs.pair]/16 says: "Requires: Requires: is_constructible<first_type, Args1&&...>::value is true and is_constructible<second_type, Args2&&...>::value is true." This typo is not repeated elsewhere in the Working Paper, as far as I can see.