User blog comment:Ikosarakt1/Something for BEAF/@comment-2033667-20150119185103/@comment-1605058-20150119185958

I think what Iko is doing is not that much for the sake of formalizing the very BEAF (no number of Bowers ever used something like ((2+1)*3)*42+17 & 666), but rather to see to how far we can define A & p using Bowers's original idea of two-argument &.