User blog comment:Wythagoras/Formal definition of BEAF/@comment-1605058-20130923164805/@comment-5150073-20130923172121

I'm certain about that:

{X,X // 2} & 3 =

{X,3 // 2} & 3 =

X && X && X & 3 =

3 && X && X & 3 =

{X & X & X / X & X & X / X & X & X} && X & 3 = ...

Then we have to construct an array from each X & X & X.