The iterator facade documention suggests that controlled conversion of iterators between const and mutable variants can be achieved by application of enable_if. Why does this need to involve an additional 'enabler' type, rather than exploiting the default void type of the enable_if template? Thx, - Rob.