In this paper we show that if $X$ is a $0$-commutative
$B$-algebra, then $(x*a)*(y*b) = (b*a)*(y*x)$.  Using this
property we show that the class of $p$-semisimple $BCI$-algebras
is equivalent to the class of $0$-commutative $B$-algebras.