User blog comment:Wythagoras/Hydra machines/@comment-24061664-20140825074000/@comment-10429372-20140826153704

In the start it is weaker, yes, but ([...[[[]...]]]) with n ['s (old) < ([...[[[]...]]]) with n ['s (new) < ([...[[[]...]]]) with n+1 ['s (old)

Brief analysis:

([]) old has the same level as ([]) new

([]) old has the same level as ([]) new

([]) old has the same level as ([]) new

([()]) old has the same level as ([()]) new

([([])]) old has the same level as ([(())]) new

([([])]) old has the same level as ([([])]) new

() old has the same level as new

([]) old has the same level as ([]) new

...