changed B(a)-many formulation