Input Iterator II

Requirements are minimums
A type which provides more is still a model
Code requiring input iterators can only assume the minimum requirements are provided