בעיה בהצרנה

איך מצרינים את הטענה הבאה:

נראה לי גם אפשרות א':
יכול להיות X רק אם יש Y.
כלומר, אם יש X, בהכרח יש Y- אם יש שלום הרי שגישרנו על הפערים, בוודאות.
באפשרות ב' יכול להיות שגישרנו על הפערים וזה לא הבשיל לכדי שלום, ולכן לא מחייב שגישור על הפערים יוביל לשלום.