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.