... is to secure the the *sufficient* clause of the conclusion:< ... . However, it became too confusing for me, so I ended ... 2) realizing that the missing sufficient assumption was smack-dab in ... to work "backwards" from the necessary condition.
This ...