Translate the following statements into symbolic form using capital letters to represent affirmative English statements.
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.