@timwes21 Yeah this is a pretty big oversight. Essentially, A->B is equivalent to /A or B (also called Conditional disintegration), so When you negate (/A or B) your get (A and /B)

@jaidaanderson I think you're confusing necessary for sufficient condition. You might have an action that benefits another and is performed with that intention, but might not be morally good. Also don't forget to apply De Morgan's law and flip the AND to and OR.