We derive cancellation laws for $BCI$-algebras and for $p$-semisimple $BCI$-algebras, show that the set of all atoms of a $BCI$-algebra is a $p$ semisimple $BCI$-algebra and that in a $p$-semisimple $BCI$-algebra $\leq$ and $=$ are the same.