User blog comment:King2218/Infinite Extensibility/@comment-5150073-20140314172340/@comment-1605058-20140314181559

"Generalizing the up-arrow creates the right-arrow and generalizing the right-arrow creates the down-arrow and so on..." This means there should be infinitely many terms of the sequence.