// `friend' this class to allow IteratorFacade access to core iterator operations:
class IteratorFacadeAccess
{ // only IteratorFacade can use these definitions
template<typename Derived, typename Value, typename Category,
typename Reference, typename Distance>
friend class IteratorFacade;