The Taliban’s being defeated is a sufficient condition for Pakistan’s winning the war on terror only if Afghanistan’s securing its borders is a necessary condition for the UN’s stopping the opium trade.

Translate the following statements into symbolic form using uppercase letters to represent affirmative English statements. Example: Suppose you are given the statement “If Facebook makes us narcissistic, then either Twitter or LinkedIn relieves our loneliness.” This would be translated F ⊃ (T ∨ L).