True - in logic/philosophy, implies means a sufficient basis for so it is just a semantic problem. I wouldn't say that a result can be necessary for a cause tho

True - in logic/philosophy, implies means a sufficient basis for so it is just a semantic problem. I wouldn't say that a result can be necessary for a cause though, that is dangerously circular.