User blog comment:Ikosarakt1/BEAN is much stronger/@comment-1605058-20130612191353

One of expressions contains &(LX,1)X. I don't know if this is mistake or not, but looks weirdly for me. Around this expression, in BAN comparisons, there is several times \ with only [ in subscript.