We resolve redundancies in the characterizations of the Banzhaf value suggested by Haller (1994, Int J Game Theory 23, 261281) and Malawski (2002, Int J Game Theory 31:4767). In particular, we show that the collusion properties employed by them are equivalent. Combined with the dummy player axiom, any of the collusion properties has strong symmetry implications whenever the cardinality of the...