We give a detailed proof of a conjecture by Andrzej \W\ on embedding BCK-algebras satisfying $$ (z \monus x) \monus (y \monus x) \ap (z \monus y)\monus (x \monus y)$$ into reducts of hoops (i.e., naturally ordered commutative integral monoids with residuation).