Translate the following statements into symbolic form using capital letters to represent affirmative English statements.
Israel's abandoning its settlements is a sufficient and necessary condition for the Palestinians' declaring an end to hostilities.