User blog comment:Kite in rainbow/A weak and clear version of my Bracket-Comma notation ver2,it reaches Γ(0)/@comment-5529393-20160120132153/@comment-5529393-20160120160605

Thanks.

Taking X = [], we have X(1) = 0 and X(2) = []. For (4)((2)), we have i = 1 since [] doesn't belong to S(0), but 0>>[] = 0 does belong to S(0). But then for (4)((3)), we want the largest m such that m>>[] belongs to S(0). But m>>[] = 0 for all m, and therefore belongs to S(0), so m is undefined.