... though A->B, it could be that C->B as well ... sufficient means to kill a rocket, and that a rocket is not necessarily ... that you need a rocket to kill a cockroach, for "A->B; not A ... sufficient conditions. Conclusions that follow a premise of A->B and ...