assert iter<iter_max