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-20160120154600

According to your definition, it doesn't look like is in LBS, nor is any [A] where A is nonempty. Because (1) and (2) are not satisfied, and for (4) we can't satisfy (4)((2)) since n = 1, so there is no i < n.

Is that correct?