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

How would {X,X//2}&3 expand?