iterator: specialization of traversor (update everywhere)