$counter = [ 1 => 0 ] -> [ 1 <= $counter ];