משפט 1: לדוגמא, שתי ההגדרות הבאות הן בטוחות לחלוקה שווה ערך לערכים במונד אולי. משפט 2: לדוגמה, שתי ההגדרות הבאות לחלוקת בטוחה עבור ערכים במונדה אולי הן שווה ערך: שאלה: האם משפט 1 ומשפט 2 מבטאים את אותה המשמעות? כן או לא?
לא, לא.